See #2785 #2017 and I seem to recall its coming up before, too.
I believe number two is the better option (or a combination of both). It's not abundantly clear, at least for me it wasn't, that when you push a tag you're not also pushing a new release. New tags show up in the repository releases tab and even show up as a release count from the main repository page.
It's not abundantly clear, at least for me it wasn't, that when you push a tag you're not also pushing a new release.
I support this!
Most helpful comment
I believe number two is the better option (or a combination of both). It's not abundantly clear, at least for me it wasn't, that when you push a tag you're not also pushing a new release. New tags show up in the repository releases tab and even show up as a release count from the main repository page.