Inconsistent procedure in case of failed release vote

[brody4hire]

In case of a failed release vote the procedure for tools is to continue with the next release tag while the procedure for plugins and platforms is to reuse the same tag with help from git tag --force. I really do not favor the use of forced tag updates on GitHub.

I can think of the following alternative solutions:

1. Update the procedure for plugins & platforms to also continue with the next release tag in case of a failed vote
2. Update the procedure for tools to reuse the same tag in case of a failed vote, and update the procedure to use special "proposed" tag values to tag proposed releases for voting