Is there any desire to sync the sourceforge repo with the github repo? If the sourceforge repo is to hold the official code then at the very least a github repository synced with the latest release will increase visibility.
Also, the tools on github are more amenable to social coding and development, IMO.
Diff: