Update release checklist
-
First merge release branches to maintenance branches, then push tags. If tags are pushed first and a given set of releases contains security fixes, the push will be rejected by a server-side Git hook.
-
Update ABI check job name.
-
Add an item for updating QA tools used in GitLab CI after each public release.