Add git push to yubico.github.com publishing.