Bug 1036819 - build/* repos currently not able to push tags to github,r=simone