Yes, and so he moved on to an easier to manage project by starting to write git from scratch.