diff --git a/.github/workflows/update-prs.yml b/.github/workflows/update-prs.yml
new file mode 100644
index 00000000..deaa4199
--- /dev/null
+++ b/.github/workflows/update-prs.yml
@@ -0,0 +1,50 @@
+name: Refresh PRs
+on:
+  push:
+    branches:
+      - main
+    
+permissions:
+    pull-requests: write
+
+jobs:
+      trigger-pr-update:
+          runs-on: ubuntu-latest
+  
+          steps:
+            - uses: actions/github-script@v7
+              with:
+                script: |
+                    // Get a list of all issues created by the PR opener
+                    // See: https://octokit.github.io/rest.js/#pagination
+                    const creator = context.payload.sender.login
+                    const prs = await github.request('GET /repos/{owner}/{repo}/pulls', {
+                        owner: context.repo.owner,
+                        repo: context.repo.repo,
+                        headers: {
+                            'X-GitHub-Api-Version': '2022-11-28'
+                        }
+                    })
+                    
+                    for (const pr of prs.data) {
+                        if (pr.state !== 'open') continue;
+                        console.log("Refreshing PR diff for #" + pr.number + " (" + pr.title + ")");
+                        await github.request('PATCH /repos/{owner}/{repo}/pulls/{pull_number}', {
+                            owner: context.repo.owner,
+                            repo: context.repo.repo,
+                            pull_number: pr.number,
+                            base: 'develop',
+                            headers: {
+                                'X-GitHub-Api-Version': '2022-11-28'
+                            }
+                        })
+                        await github.request('PATCH /repos/{owner}/{repo}/pulls/{pull_number}', {
+                            owner: context.repo.owner,
+                            repo: context.repo.repo,
+                            pull_number: pr.number,
+                            base: 'main',
+                            headers: {
+                                'X-GitHub-Api-Version': '2022-11-28'
+                            }
+                        })
+                    }
diff --git a/runtime/pointers.ts b/runtime/pointers.ts
index 5b7eb8e5..69aceca8 100644
--- a/runtime/pointers.ts
+++ b/runtime/pointers.ts
@@ -1506,6 +1506,7 @@ export class Pointer<T = any> extends Ref<T> {
         // check read permissions
         pointer.assertEndpointCanRead(SCOPE?.sender)
 
+
         return pointer;
     }
 
diff --git a/runtime/storage.ts b/runtime/storage.ts
index 43f71230..ce4c8f72 100644
--- a/runtime/storage.ts
+++ b/runtime/storage.ts
@@ -407,7 +407,6 @@ export class Storage {
 	}
 
     public static setPointer(pointer:Pointer, listen_for_changes = true, location:StorageLocation|undefined = this.#primary_location, partialUpdateKey: unknown = NOT_EXISTING): Promise<boolean>|boolean {
-
         if (!pointer.value_initialized) {
             // logger.warn("pointer value " + pointer.idString() + " not available, cannot save in storage");
             this.#storage_active_pointers.delete(pointer);