I’ve decided that ultimately it is a problem with GitHub’s workflow: they have a review process and evaluation process for changes (Pull Requests), but not for releases. The deleting/retagging thing shouldn’t generally happen.
1 Like