April 23, 2015
1:35 p.m.
AFAIK, we still don't have a working git workflow, so why is development moved to github? I'm fine with duplication, less with making it impossible to contribute. Stephan