chiark / gitweb /
Optimise 'push' to use git-apply instead of git-read-tree