[github-app] handle repository.renamed

gitpod-io · Aug 3, 2021 · 7f0908b · 7f0908b
1 parent c937dfd
commit 7f0908b
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/components/server/ee/src/prebuilds/github-app.ts b/components/server/ee/src/prebuilds/github-app.ts
@@ -100,6 +100,21 @@ export class GithubApp {
             await this.appInstallationDB.recordUninstallation("github", 'platform', installationId);
         });
 
+        app.on('repository.renamed', async ctx => {
+            const { action, repository, installation } = ctx.payload;
+            if (!installation) {
+                return;
+            }
+            if (action === "renamed") {
+                const project = await this.projectDB.findProjectByInstallationId(String(installation.id))
+                if (project) {
+                    project.cloneUrl = repository.clone_url;
+                    await this.projectDB.storeProject(project);
+                }
+            }
+            // TODO(at): handle deleted as well
+        });
+
         app.on('push', async ctx => {
             await this.handlePushEvent(ctx);
         });