This adds the TagBot Github Actions (https://github.com/marketplace/actions/julia-tagbot) which automatically makes a new tag for the correct commit when a new version is pushed to the Julia General registry. Seems like a good idea, then when we bump the version we just do it through the Julia registry with the Registrator (https://github.com/JuliaRegistries/Registrator.jl) and this makes sure the Github tags are synced.
This adds the TagBot Github Actions (https://github.com/marketplace/actions/julia-tagbot) which automatically makes a new tag for the correct commit when a new version is pushed to the Julia General registry. Seems like a good idea, then when we bump the version we just do it through the Julia registry with the Registrator (https://github.com/JuliaRegistries/Registrator.jl) and this makes sure the Github tags are synced.