chore: CI: remove rebase command

We'll try using the buttons provided by GitHub for now
leanprover · Aug 8, 2024 · 7ef2d2f · 7ef2d2f
1 parent 7776852
commit 7ef2d2f
Showing 1 changed file with 0 additions and 30 deletions.
diff --git a/.github/workflows/rebase-on-comment.yml b/.github/workflows/rebase-on-comment.yml