Merge pull request #659 from lcobucci/remove-forgotten-file

Remove forgotten merge bot file
lcobucci · Dec 19, 2022 · 039ef98 · 039ef98
2 parents 8133d6c + 11f1d99
commit 039ef98
Showing 1 changed file with 0 additions and 28 deletions.
diff --git a/.github/workflows/merge-bot.yml b/.github/workflows/merge-bot.yml