Use ssh for git push on release