githubsyncplugin (pypi): Sync GitHub repository with local repository used by Trac.
Keywords: trac|plugin