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
dcg
businesscentral
riscv32
angular2-animation
text-mining
android-orm
scala-reflect
for-attribute
future-warning
ios7-statusbar
com-interop
cgit
junction
phalanger
polymer-2.x
capitalization
viewer
popupmenu
faircom
kafka-consumer-api
chrome-ux-report
ios-prewarming
jenkins-email-ext
eigen3
networkimageview
measurement-protocol
cmake-build-type
nintendo
uicollectionviewdelegate
return-type-deduction