Revert "first attempt (#16557)"

This reverts commit 1ae5da9.
leanprover-community · Sep 19, 2022 · 5ea93be · 5ea93be
1 parent 1ae5da9
commit 5ea93be
Showing 1 changed file with 0 additions and 56 deletions.
diff --git a/.github/workflows/maintainer_merge.yml b/.github/workflows/maintainer_merge.yml