On Thu, Aug 28, 2014 at 09:28:26PM +0200, Stefano Probst wrote: > > Is there any reason to use Github and SourceForge? I would like to switch to github, but there are some other major repo changes I want to make before doing that. (proposal coming soon)