| 
 | 1 | +name: Pull Request Reminder  | 
 | 2 | + | 
 | 3 | +on:  | 
 | 4 | +  pull_request:  | 
 | 5 | +    types: [opened, synchronize, reopened]  | 
 | 6 | + | 
 | 7 | +jobs:  | 
 | 8 | +  reminder:  | 
 | 9 | +    runs-on: ubuntu-latest  | 
 | 10 | +    permissions:  | 
 | 11 | +      id-token: write  | 
 | 12 | +      contents: read  | 
 | 13 | +      actions: read  | 
 | 14 | +      issues: write  | 
 | 15 | +      checks: write  | 
 | 16 | +      pull-requests: write  | 
 | 17 | +    steps:  | 
 | 18 | +      - name: Checkout code  | 
 | 19 | +        uses: actions/checkout@v4  | 
 | 20 | + | 
 | 21 | +      - name: Get Pull Request Info  | 
 | 22 | +        id: pr_info  | 
 | 23 | +        uses: actions/github-script@v7  | 
 | 24 | +        with:  | 
 | 25 | +          script: |  | 
 | 26 | +            const { owner, repo, number } = context.issue;  | 
 | 27 | +            const pr = await github.rest.pulls.get({  | 
 | 28 | +              owner,  | 
 | 29 | +              repo,  | 
 | 30 | +              pull_number: number,  | 
 | 31 | +            });  | 
 | 32 | +
  | 
 | 33 | +            const author = pr.data.user.login;  | 
 | 34 | +            const createdAt = new Date(pr.data.created_at);  | 
 | 35 | +            const now = new Date();  | 
 | 36 | +            const diffInDays = Math.floor((now - createdAt) / (1000 * 60 * 60 * 24));  | 
 | 37 | +            const labels = pr.data.labels.map(label => label.name);  | 
 | 38 | +
  | 
 | 39 | +            return { author, diffInDays, number, labels };  | 
 | 40 | +
  | 
 | 41 | +      - name: Check if Reminder Needed  | 
 | 42 | +        id: check_reminder  | 
 | 43 | +        uses: actions/github-script@v7  | 
 | 44 | +        with:  | 
 | 45 | +          script: |  | 
 | 46 | +            const { diffInDays, labels } = ${{ steps.pr_info.outputs }};  | 
 | 47 | +            const reminderLabel = 'reminder sent';  | 
 | 48 | +            const daysThreshold = 1; // Number of days before sending reminder. Adjust as needed.  | 
 | 49 | +
  | 
 | 50 | +            if (!labels) { // Check if labels is undefined or null  | 
 | 51 | +              return { sendReminder: diffInDays >= daysThreshold }; // send reminder if the time threshold is passed, even without labels.  | 
 | 52 | +            }  | 
 | 53 | +            if (labels.includes(reminderLabel)) {  | 
 | 54 | +              return { sendReminder: false };  | 
 | 55 | +            }  | 
 | 56 | +
  | 
 | 57 | +            if (diffInDays >= daysThreshold) {  | 
 | 58 | +              return { sendReminder: true };  | 
 | 59 | +            } else {  | 
 | 60 | +              return { sendReminder: false };  | 
 | 61 | +            }  | 
 | 62 | +
  | 
 | 63 | +      - name: Send Reminder Comment  | 
 | 64 | +        if: ${{ steps.check_reminder.outputs.sendReminder == 'true' }}  | 
 | 65 | +        uses: actions/github-script@v7  | 
 | 66 | +        with:  | 
 | 67 | +          script: |  | 
 | 68 | +            const { owner, repo, number, author } = ${{ steps.pr_info.outputs }};  | 
 | 69 | +            const message = `@${author}, please make sure that you update the files in Heretto and post the Heretto share link in this PR.`;  | 
 | 70 | +            await github.rest.issues.createComment({  | 
 | 71 | +              owner,  | 
 | 72 | +              repo,  | 
 | 73 | +              issue_number: number,  | 
 | 74 | +              body: message,  | 
 | 75 | +            });  | 
 | 76 | +
  | 
 | 77 | +      - name: Add Reminder Label  | 
 | 78 | +        if: ${{ steps.check_reminder.outputs.sendReminder == 'true' }}  | 
 | 79 | +        uses: actions/github-script@v7  | 
 | 80 | +        with:  | 
 | 81 | +          script: |  | 
 | 82 | +            const { owner, repo, number } = ${{ steps.pr_info.outputs }};  | 
 | 83 | +            await github.rest.issues.addLabels({  | 
 | 84 | +              owner,  | 
 | 85 | +              repo,  | 
 | 86 | +              issue_number: number,  | 
 | 87 | +              labels: ['reminder sent'],  | 
 | 88 | +            });  | 
0 commit comments