It's been years, but as I remember it SourceForge's primary downfall was the bundling of malware with binaries. That's why people I know stopped using it completely rather than because it was run on a proprietary platform.
Sourceforge, for all of it's name, wasn't really a place to get source - I'd say some immensely large percentage of users used it to download binaries for Windows.
