On Mon, Jan 24, 2011 at 11:16 AM, Simon Marlow <marlowsd at gmail.com> wrote: > Thanks for the tips Johan. I'm planning to set up the github mirror once > we've made the switch to git, and we'll probably accept pull requests via > github as submissions. Thanks. That would be most convenient. Johan