Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
A more formal solution, than patch #222.
Philipp Klaus Krause
The changes in revision #9002 were partially inspired by this patch, but go even further.