Remove OpsGenie and maintenance bot on-call reminder script and workf…

…low (replacing with Slack Round Robin)
BerkeleyLearnVerify · Feb 12, 2025 · 041697c · 041697c
1 parent 8495cc9
commit 041697c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 102 deletions.
diff --git a/.github/slack_oncall_reminder.py b/.github/slack_oncall_reminder.py
diff --git a/.github/workflows/on-call-reminder.yml b/.github/workflows/on-call-reminder.yml