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
alpha
avplayer
teraterm
quartz-core
cakephp-3.x
som
jinput
strikethrough
odeint
connection-close
ycsb
loop-invariant
clearos
appgallery
message-body
xamarin.mac
diagrams.net
mamp-pro
angularjs-ng-model
google-tasks-api
adobe-scriptui
trove4j
hex
vuex
stylish
apache-ode
raycasting
winforms-to-web
naturallyspeaking
swizzle