.github: do not push to tag on push to main - #8

.github: do not push to tag on push to main#8

charludo merged 2 commits into

mainedgelesssys/collateral-proxy:mainfrom

ch/do-not-push-tag-from-mainedgelesssys/collateral-proxy:ch/do-not-push-tag-from-mainCopy head branch name to clipboard