push tags to github (lost during a merge)