chiark / gitweb /
Always try to recover origin/HEAD in case it's not there