chiark / gitweb /
Optimise the git.switch() function