Why not push the tags to GitHub as well?