Excerpts from Thomas Bächler's message of Sun Mar 04 19:46:40 +0100 2012: > I propose to manually pull the tree and package it on Jouke's pull > request. If the results are good, we might talk about direct git-shell > access. > > Thoughts? Agreed.