This is an old revision of the document!
GIT Tips & Tricks
Pull over git:// push with ssh://
You can switch to a different protocol or location for the push command. Advantage is that you can clone a repository using git://git.xfce.org/... which is faster than a ssh connection (no login, permission check and encryption), but push to ssh.
- ~/.gitconfig
[url "ssh://git@git.xfce.org"] pushInsteadOf = "git://git.xfce.org"