On Sat, Apr 05, 2014 at 11:17:39AM +0200, Joachim Breitner wrote: > should we switch to git? After all, git has won™. Sounds good to me. I still don't get along with darcs.