Merge pull request github#74 from github/repo-sync

Octomerger · web-flow · commit e647e4f9a847 · 2020-09-28T12:30:49.000-07:00
repo sync
diff --git a/.github/workflows/repo-sync.yml b/.github/workflows/repo-sync.yml
@@ -41,8 +41,8 @@ jobs:
         source_branch: repo-sync
         destination_branch: main
         pr_title: "repo sync"
-        pr_body: "This is an automated pull request to sync changes between the public and private docs repos.\n\n:robot: Please let a bot do the merging!"
-        pr_label: "automerge"
+        pr_body: "This is an automated pull request to sync changes between the public and private repos.\n\n:robot: This pull request should be merged (not squashed) to preserve continuity across repos, so please let a bot do the merging!"
+        pr_label: automerge,autoupdate
         github_token: ${{ secrets.OCTOMERGER_PAT_WITH_REPO_AND_WORKFLOW_SCOPE }}
 
     - name: Find pull request
