Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
It will be fine to support Ptex files too.
Indeed, looks like a great candidate.
Will have a look if a have the time to implement it.