So let's hang until Monday, see what Pete says, but if need be,
we can do a
vote on the list and just bite the bullet.
From what I recall of his postings, he was git-friendly so I have a
hard time thinking we would mind if we went ahead with it. Well, you
;-)
---
Nik