Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
if you're still interested in this, please raise a bug in the bug tracker. i'll make sure it gets assigned to the sql maintainer.
(i'll ask an admin to close this forum, because no-one reads it.)