chiark / gitweb /
Allow git.checkout() to work on unmerged indexes