Improve documentation for concurrency groups

opentripplanner · Dec 16, 2023 · 3114904 · 3114904
1 parent 4122ead
commit 3114904
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.github/workflows/debug-client.yml b/.github/workflows/debug-client.yml
@@ -8,8 +8,9 @@ on:
     paths:
       - 'client-next/**'
 
+# to avoid conflicts, make sure that only one workflow pushes to Github at the same time
 concurrency:
-  group: git-commit
+  group: github-push
 
 jobs:
   debug-client:
@@ -83,4 +84,4 @@ jobs:
           
           git add ${CLIENT_HTML_OUTPUT}
           git commit -m "Upgrade debug client to version ${VERSION}"
-          git push origin dev-2.x
+          git push ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}.git HEAD:dev-2.x
diff --git a/.github/workflows/post-merge.yml b/.github/workflows/post-merge.yml
@@ -5,9 +5,9 @@ on:
       - dev-2.x
     types: [closed]
 
-# make sure that only one workflow pushes to Github at the same time
+# to avoid conflicts, make sure that only one workflow pushes to Github at the same time
 concurrency:
-  group: git-commit
+  group: github-push
 
 jobs:
   changelog-entry: