mirror of
https://github.com/soxoj/maigret.git
synced 2026-05-07 06:24:35 +00:00
Fix update-site-data workflow race condition on branch push (#2366)
* Initial plan * Fix update-site-data workflow race condition on branch push - Add concurrency control to cancel in-progress runs on new pushes to main - Delete existing PR branch before creating new one to avoid stale ref conflicts - Upgrade peter-evans/create-pull-request from v5 to v7 (Node.js 20 deprecation) Co-authored-by: soxoj <31013580+soxoj@users.noreply.github.com> Agent-Logs-Url: https://github.com/soxoj/maigret/sessions/a095d3d3-0093-43e8-9cc5-82797bd52453 --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: soxoj <31013580+soxoj@users.noreply.github.com>
This commit is contained in:
@@ -4,6 +4,10 @@ on:
|
|||||||
push:
|
push:
|
||||||
branches: [ main ]
|
branches: [ main ]
|
||||||
|
|
||||||
|
concurrency:
|
||||||
|
group: update-sites-${{ github.ref }}
|
||||||
|
cancel-in-progress: true
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
build:
|
build:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
@@ -36,9 +40,13 @@ jobs:
|
|||||||
echo "has_changes=false" >> $GITHUB_OUTPUT
|
echo "has_changes=false" >> $GITHUB_OUTPUT
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
- name: Delete existing PR branch
|
||||||
|
if: steps.check.outputs.has_changes == 'true'
|
||||||
|
run: git push origin --delete auto/update-sites-list || true
|
||||||
|
|
||||||
- name: Create Pull Request
|
- name: Create Pull Request
|
||||||
if: steps.check.outputs.has_changes == 'true'
|
if: steps.check.outputs.has_changes == 'true'
|
||||||
uses: peter-evans/create-pull-request@v5
|
uses: peter-evans/create-pull-request@v7
|
||||||
with:
|
with:
|
||||||
token: ${{ secrets.GITHUB_TOKEN }}
|
token: ${{ secrets.GITHUB_TOKEN }}
|
||||||
commit-message: "Updated site list and statistics"
|
commit-message: "Updated site list and statistics"
|
||||||
|
|||||||
Reference in New Issue
Block a user