We also have the entire project on Github. Take a look:
https://github.com/gabrielarchanjo/marvinproject
I'm pretty sure there are advantages in this change and I think it's just a matter of time.
Not in a sarcastic manner, but seriously what's SourceForge got that Github doesn't provide?
Or is it a matter of just making time for that migration?
More importantly, I didn't post the framework release to make this a discussion "SourceForge vs Github".
What's really matter is the project itself and not where it is hosted!
At this point, their reputation is so terrible that even if sourceforge was objectively better, it'd still be a good idea to move away from it.