I think that's an understatement. Sourceforge is so bad that for years (well before Github) I have dreaded downloading anything from it or needing to use its navigation in any way.

Also, a fair bit of malware has been hosted there over the years and the site offers no useful search or way of finding what you're looking for.

The initial idea was a good one, but the founder cashed out long ago.