Merge pull request #153 from github/repo-sync

repo sync

.github/workflows/repo-sync.yml

@@ -1,3 +1,9 @@
+# The docs.github.com project has two repositories: github/docs (public) and github/docs-internal (private)
+# 
+# This GitHub Actions workflow keeps the main branch of those two repos in sync.
+# 
+# For more details, see https://github.com/repo-sync/repo-sync#how-it-works
+
 name: Repo Sync
 
 on: