[github] Push to GitHub without a password using ssh-key