In praise of git’s index