Excerpts from Rob Vermaas's message of Thu Apr 17 14:14:22 +0000 2014: > Oh wait, it's a mercurial repo, that won't work :) Why not turn it into git? Marc Weber