chore: add a new pr reminder based on github id (pingcap#7350)

ti-chi-bot · Dec 31, 2021 · d7c190d · d7c190d
1 parent 6cbbfac
commit d7c190d
Show file tree

Hide file tree

Showing 3 changed files with 703 additions and 350 deletions.
diff --git a/.github/workflows/bot.yaml b/.github/workflows/bot.yaml
@@ -16,3 +16,10 @@ jobs:
           wget https://raw.githubusercontent.com/pingcap/docs/master/scripts/pr_reminder.py;
           pip3 install lxml;
           python3 pr_reminder.py "$WEBHOOK"
+      - name: Run PR reminder by assignee
+        env:
+          WEBHOOK: ${{secrets.BOT_WEBHOOK_URL}}
+        run: |
+          wget https://raw.githubusercontent.com/pingcap/docs/master/scripts/pr_reminder_basedon_assignee.py;
+          pip3 install lxml;
+          python3 pr_reminder_basedon_assignee.py "$WEBHOOK"