chiark / gitweb /
Fast-forwarding does a git.switch() even when it forwarded no patches