sync missing repositories to github
Repos that have been recently tagged "sync to github" (including repos that didn't exist before) are missing from our mirror on GitHub.
A concrete example is developer documentation.
Migrated from T824 (view on Phabricator)