> Are there still plans for a git repo?
Yes. The more patches I get, the more annoying it will be that I
don't have it yet, and the more the priority and urgency will get
bumped up on my GTD list.
So keep those patches coming!