Remove invite-contributor job from ReopBot.yml

Removed the invite-contributor job from the ReopBot workflow.

Author: brucexu-eth

.github/workflows/ReopBot.yml

@@ -13,85 +13,6 @@ permissions:
   pull-requests: write
 
 jobs:
-  invite-contributor:
-    runs-on: ubuntu-latest
-    if: github.event_name == 'pull_request_target' && github.event.pull_request.merged == true
-    steps:
-      - name: Invite contributor
-        id: invite-contributor
-        uses: actions/github-script@v6
-        with:
-          github-token: ${{ secrets.PAT_WITH_INVITE_PERMISSIONS }}
-          script: |
-            const { owner, repo } = context.repo;
-            const username = context.payload.pull_request.user.login;
-
-            console.log(`Checking if ${username} is already a collaborator...`);
-
-            try {
-              const { data: permissionLevel } = await github.rest.repos.getCollaboratorPermissionLevel({
-                owner,
-                repo,
-                username,
-              });
-              
-              if (permissionLevel.permission === 'admin' || permissionLevel.permission === 'write') {
-                console.log(`${username} is already a collaborator with sufficient permissions.`);
-                return;
-              }
-              
-              console.log(`${username} is a collaborator but needs permission update.`);
-            } catch (error) {
-              if (error.status !== 404) {
-                console.error(`Error checking collaborator status: ${error.message}`);
-                throw error;
-              }
-              console.log(`${username} is not a collaborator.`);
-            }
-
-            try {
-              console.log(`Inviting ${username} as a collaborator...`);
-              const response = await github.rest.repos.addCollaborator({
-                owner,
-                repo,
-                username,
-                permission: 'push'
-              });
-              
-              if (response.status === 201) {
-                console.log(`Invitation sent to ${username} as a collaborator with push permission.`);
-                core.setOutput('invitation_sent', 'true');
-              } else if (response.status === 204) {
-                console.log(`${username}'s permissions updated to push.`);
-                core.setOutput('invitation_sent', 'false');
-              }
-            } catch (error) {
-              console.error(`Error inviting/updating collaborator: ${error.message}`);
-              core.setFailed(`Error inviting/updating collaborator: ${error.message}`);
-            }
-
-      - name: Comment on PR
-        if: steps.invite-contributor.outputs.invitation_sent == 'true'
-        uses: actions/github-script@v6
-        with:
-          github-token: ${{ secrets.GITHUB_TOKEN }}
-          script: |
-            const { owner, repo } = context.repo;
-            const issue_number = context.payload.pull_request.number;
-            const username = context.payload.pull_request.user.login;
-            try {
-              await github.rest.issues.createComment({
-                owner,
-                repo,
-                issue_number,
-                body: `Thanks for your contribution, @${username}! You've been invited as a collaborator with push permissions. Please check your email for the invitation.`
-              });
-              console.log(`Comment posted on PR #${issue_number}`);
-            } catch (error) {
-              console.error(`Error posting comment: ${error.message}`);
-              core.setFailed(`Error posting comment: ${error.message}`);
-            }
-
   update-readme:
     runs-on: ubuntu-latest
     if: github.event_name == 'schedule' || github.event_name == 'push'