fix(connect): hard-fail OAuth callback when Redis unavailable

.github/scripts/ciScript.js

@@ -13,7 +13,6 @@ const deriveTestFiles = (files) => {
   });
 };
 
-
 module.exports = async ({ github, context, core }) => {
   const owner = context.repo.owner;
   const repo = context.repo.repo;
@@ -24,7 +23,6 @@ module.exports = async ({ github, context, core }) => {
   const backendFiles = [];
   const mobileFiles = [];
   const webFiles = [];
-  const dbFiles = [];
 
   try {
     if (prState === 'closed') {
@@ -54,21 +52,16 @@ module.exports = async ({ github, context, core }) => {
         mobileFiles.push(fileName);
       } else if (fileName.startsWith('apps/web/')) {
         webFiles.push(fileName);
-      }else if(fileName.startsWith('apps/backend/prisma')){
-        dbFiles.push(fileName)
-      }else if(fileName.includes('schema.prisma') || fileName.includes('/migrations/')){
-        dbFiles.push(fileName)
       }
     });
 
     const strippedBackend = backendFiles.map(f => f.replace('apps/backend/', ''));
     const strippedMobile  = mobileFiles.map(f => f.replace('apps/mobile/', ''));
 
-    console.log({ backendFiles, mobileFiles, webFiles, dbFiles });
+    console.log({ backendFiles, mobileFiles, webFiles });
 
     core.setOutput('backendFiles',     strippedBackend.join(' '));
     core.setOutput('mobileFiles',      strippedMobile.join(' '));
-    core.setOutput('dbFiles', dbFiles.join(' '));
     core.setOutput('webFiles',         webFiles.map(f => f.replace('apps/web/', '')).join(' '));
     core.setOutput('backendTestFiles', deriveTestFiles(strippedBackend).join(' '));
     core.setOutput('mobileTestFiles',  deriveTestFiles(strippedMobile).join(' '));

.github/scripts/discordPinReminder.js

@@ -3,36 +3,35 @@ module.exports = async ({ github, context }) => {
   const ignoreUsers = [
     'ShantKhatri',
     'Harxhit',
-    'blankirigaya',
-  ];
-
+    'blankirigaya'
+  ]
   try {
-    if (!pr || !pr.merged) {
-      console.log('PR not merged.');
-      return;
-    }
-
-    const prNumber = pr.number;
-    const contributor = pr.user.login;
-
-    if (ignoreUsers.includes(contributor)) {
-      console.log(`Ignoring PR #${prNumber} by ${contributor}`);
-      return;
-    }
-
-    await github.rest.issues.createComment({
-      owner: context.repo.owner,
-      repo: context.repo.repo,
-      issue_number: prNumber,
-      body: `Congratulations @${contributor} on getting PR #${prNumber} merged!
-
-Thank you for your contribution to the project.
+      // Only continue if merged
+      if (!pr || !pr.merged) {  
+        console.log('PR not merged.');
+        return;
+      }
+
+      const prNumber = pr.number;
+      const contributor = pr.user.login;
 
-To receive the appropriate GSSoC labels and recognition, please mention @Harxhit in the **#get-labels** channel on our Discord server and share your merged PR link.`,
-    });
+      if(ignoreUsers.includes(contributor)){
+        console.log(`Ignoring PR #${prNumber} by ${contributor}`);
+        return; 
+      }
+
+      await github.rest.issues.createComment({
+        owner: context.repo.owner,
+        repo: context.repo.repo,
+        issue_number: prNumber,
+        body: `Congratulations @${contributor} on getting PR #${prNumber} merged! 
 
-    console.log(`Comment added to PR #${prNumber}`);
+        Thank you for your contribution. Please mention @Harxhit in our Discord server to receive the appropriate GSSoC labels and recognition.
+        `
+      });
+
+      console.log(`Comment added to PR #${prNumber}`);
   } catch (error) {
-    console.error(error);
+    console.error(error)
   }
-};
+};