Skip to content

Improve and fix release checklist

Just 3 things

  1. a broken command
  2. a missing push
  3. a bit of attention instead of git merge; git push

Merge request reports