Sourceforge has been getting some bad press as of late, and tbh, being on Sourceforge gives us very little.
Should we stay or should we go?
The only thing we really use on it is their svn server, but that's incidental. Going to open a bug about moving to Git too for vcs; moving to wmf gerrit/github would hence therefore fix this bug also...