20bb43057e
Problem: the workflow creates a new dated branch each run. If a digest PR is not merged before the next run, duplicate PRs accumulate. Solution: use a single canonical branch ci/upstream-digest with --force push. Each run resets to main, applies any new items, and force-pushes. If a PR is already open for the branch, GitHub updates it in place. A new PR is only created (with auto-merge) when none exists. The close-stale step is no longer needed.
47 lines
1.5 KiB
YAML
47 lines
1.5 KiB
YAML
name: upstream digest
|
|
|
|
on:
|
|
schedule:
|
|
- cron: "0 9 * * 1"
|
|
workflow_dispatch:
|
|
|
|
permissions:
|
|
contents: write
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
digest:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
|
|
- name: Update upstream tracker
|
|
id: digest
|
|
env:
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
run: python3 .github/scripts/upstream_digest.py
|
|
|
|
- name: Format doc/upstream.md
|
|
if: steps.digest.outputs.changed == 'true'
|
|
run: npx --yes prettier --write doc/upstream.md
|
|
|
|
- name: Push and open PR if needed
|
|
if: steps.digest.outputs.changed == 'true'
|
|
env:
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
run: |
|
|
BRANCH="ci/upstream-digest"
|
|
git config user.name "github-actions[bot]"
|
|
git config user.email "github-actions[bot]@users.noreply.github.com"
|
|
git checkout -b "${BRANCH}"
|
|
git add doc/upstream.md
|
|
git commit -m "docs(upstream): upstream digest $(date +%Y-%m-%d)"
|
|
git push --force origin "${BRANCH}"
|
|
if ! gh pr list --head "${BRANCH}" --state open --json number --jq '.[0].number' | grep -q .; then
|
|
PR_URL=$(gh pr create \
|
|
--title "docs(upstream): upstream digest" \
|
|
--body "Automated weekly digest of new upstream activity. Triage by updating statuses and notes." \
|
|
--base main \
|
|
--head "${BRANCH}")
|
|
gh pr merge "${PR_URL}" --auto --squash
|
|
fi
|