Authorized in !213 #6254: one dispatch of release-exercise.yml under ${{ github.token }}, body {"ref":"main"} with no inputs, actions: write granted explicitly. Branch is deleted once the code is recorded on #205. Refs #205
