refactor: rename repo_id repo_identifier

where it previously should have been renamed bit wasn't

src/lib/components/proposals/ProposalDetails.svelte

@@ -27,7 +27,7 @@
       <h4>Status</h4>
       <StatusSelector
         status={summary.status}
-        repo_id={summary.repo_id}
+        repo_identifier={summary.repo_identifier}
         proposal_id={summary.id}
       />
     {/if}

src/lib/components/proposals/ProposalHeader.svelte

@@ -14,7 +14,7 @@
     title,
     descritpion,
     id,
-    repo_id,
+    repo_identifier,
     comments,
     status,
     status_date,

src/lib/components/proposals/StatusSelector.svelte

@@ -20,7 +20,7 @@
   import Status from '$lib/components/proposals/Status.svelte'
 
   export let status: number | undefined = undefined
-  export let repo_id: string = ''
+  export let repo_identifier: string = ''
   export let proposal_id: string = ''
 
   let loading = false
@@ -29,7 +29,7 @@
   $: {
     edit_mode =
       $logged_in_user !== undefined &&
-      repo_id === $selected_repo_collection.identifier
+      repo_identifier === $selected_repo_collection.identifier
   }
 
   async function changeStatus(new_status_kind: number) {