chore: remove useless bot

abhijithvijayan · Jun 12, 2022 · 51ecdc3 · 51ecdc3
1 parent c6c06dd
commit 51ecdc3
Showing 1 changed file with 0 additions and 16 deletions.
diff --git a/.github/workflows/label-pr-on-merge-bot.yml b/.github/workflows/label-pr-on-merge-bot.yml