tweaking syncer
Updating submodules in GitHub to point to latest HEAD commit
Tweaking github syncer