Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
I/We have no way to test this.
Please try a current snapshot, if it is still an issue for you - we recently changed some Overlay stuff.
If it still is an issue, please do create a new ticket in our new bug tracker.