Remove release drafter stuff (#439)

The GitHub UI now already proposes to generate release notes automatically, no need for release drafter anymore
scalameta · Oct 17, 2023 · b80a09b · b80a09b
1 parent d72bd7a
commit b80a09b
Showing 1 changed file with 0 additions and 14 deletions.
diff --git a/.github/workflows/release-drafter.yml b/.github/workflows/release-drafter.yml