Skip to content

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)