I think that looks about right. I think though that rather than trying to encode the rules for what is a release tag vs some other kind of tag (it's a REALLY long regex), we should just have the bot announce all tags. They are all interesting and rare enough that I think that will suit the purpose.
So just have it match "refs/tags/.*", and then announce something like "<username> tagged <project> with <tagname>".
I think that looks about right. I think though that rather than trying to encode the rules for what is a release tag vs some other kind of tag (it's a REALLY long regex), we should just have the bot announce all tags. They are all interesting and rare enough that I think that will suit the purpose.
So just have it match "refs/tags/.*", and then announce something like "<username> tagged <project> with <tagname>".