chiark / gitweb /
Save .git/ORIG_HEAD when pulling changes