But you could also do a local build and just push ...
# announce
a
But you could also do a local build and just push a tag manually