Also push tags to Github.