chiark / gitweb /
Make switching to the current branch a no-op