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.
git config --global url."ssh://git@git.xfce.org".pushInsteadOf "git://git.xfce.org"
Shortcut URL's
git config --global url."ssh://git.xfce.org/".insteadOf xfce:
After this, you'll be able to do, for example:
git clone xfce:xfce/xfdesktop