@masinter @screwtape i'm not familiar with the work but have you had the same problems everyone else complaints about?

git having a deficient concept of repositories comes up quite a bit. namely, it has no understanding of branches, renames, removes, etc.