My team has a GitHub release workflow that automatically tags our prod branch on push. It has been working fine for the last year, with the most recent success
windows-build-tools
angular-storybook
string-comparison
lockscreen
no-cache
php-mysqlidb
thin
systems-programming
doxia
application-close
ipsec
localtunnel
bit-masks
combinators
amazon-web-services
hyper-api
construct-3
zooming
interactive-shell
resignfirstresponder
pygraphviz
memory-mapped-io
springdoc-ui
annotations-processing-messager
css-color
nonce
httpd.conf
common.logging
htslib
spring-data-keyvalue