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
netbeans-platform
pubnub
setparent
slideshow
custom-url-protocol
convertto-json
expandable
basic4android
table-calendar
munit
next-connect
apache-bahir
memmap
wii
css-gradients
orb
flow
database-replication
c++-coroutine
opam
socketchannel
odoo-12
null-pointer
plaidml
pkce
vis-runtime
knowledge-base-population
huawei-ml-kit
apple-live-photos
journaling