New post: Faster git pull and git push using git's URL rewriting