Update name of release procedure file

Make it more specific and emphasize it less. It doesn't need to be as emphasized as README, CHANGELOG, etc., as it's not important for most people.
hannobraun · Nov 17, 2022 · 438a4cc · 438a4cc
1 parent 9a7895d
commit 438a4cc
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/RELEASES.md → release-procedure.md b/RELEASES.md → release-procedure.md