pushing tags to github