mirror of
https://github.com/microsoft/BCQuality.git
synced 2026-10-05 14:46:55 +01:00
Merge pull request #9 from Curabis/fix/upstream-watch-workflows-permission
Fix upstream-watch: grant workflows:write, add push-failure fallback issue
This commit is contained in:
commit
c2b1471dd7
1 changed files with 16 additions and 0 deletions
16
.github/workflows/upstream-watch.yml
vendored
16
.github/workflows/upstream-watch.yml
vendored
|
|
@ -18,6 +18,8 @@ permissions:
|
||||||
contents: write
|
contents: write
|
||||||
pull-requests: write
|
pull-requests: write
|
||||||
issues: write
|
issues: write
|
||||||
|
workflows: write # upstream commits ofte selv .github/workflows/* filer -
|
||||||
|
# uden dette afviser GitHub push af sync-branchen
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
round:
|
round:
|
||||||
|
|
@ -74,7 +76,9 @@ jobs:
|
||||||
tail -3 /tmp/val.txt; tail -3 /tmp/idx.txt
|
tail -3 /tmp/val.txt; tail -3 /tmp/idx.txt
|
||||||
|
|
||||||
- name: Open PR (clean merge, validators green)
|
- name: Open PR (clean merge, validators green)
|
||||||
|
id: openpr
|
||||||
if: steps.validate.outputs.ok == 'true'
|
if: steps.validate.outputs.ok == 'true'
|
||||||
|
continue-on-error: true
|
||||||
env:
|
env:
|
||||||
GH_TOKEN: ${{ github.token }}
|
GH_TOKEN: ${{ github.token }}
|
||||||
run: |
|
run: |
|
||||||
|
|
@ -96,3 +100,15 @@ jobs:
|
||||||
--title "Florence: upstream-sync kraever menneskehaender ($REASON)" \
|
--title "Florence: upstream-sync kraever menneskehaender ($REASON)" \
|
||||||
--body "$(printf '%s.\n\nVentende upstream-commits:\n%s\n\nManuel procedure: fetch bcquality/upstream, merge paa branch, loes, valider, PR.' "$REASON" "$COMMITS")"
|
--body "$(printf '%s.\n\nVentende upstream-commits:\n%s\n\nManuel procedure: fetch bcquality/upstream, merge paa branch, loes, valider, PR.' "$REASON" "$COMMITS")"
|
||||||
echo "## Florence taendte lampen: ISSUE oprettet ($REASON)" >> "$GITHUB_STEP_SUMMARY"
|
echo "## Florence taendte lampen: ISSUE oprettet ($REASON)" >> "$GITHUB_STEP_SUMMARY"
|
||||||
|
|
||||||
|
- name: Open issue (PR-create/push failure after clean merge)
|
||||||
|
if: steps.validate.outputs.ok == 'true' && steps.openpr.outcome == 'failure'
|
||||||
|
env:
|
||||||
|
GH_TOKEN: ${{ github.token }}
|
||||||
|
run: |
|
||||||
|
COMMITS=$(git log --format='- %h %s' "${{ steps.probe.outputs.base }}..upstream/main")
|
||||||
|
gh issue create \
|
||||||
|
--title "Florence: upstream-sync — push/PR-oprettelse fejlede efter ren merge" \
|
||||||
|
--body "$(printf 'Merge var ren og validatorerne groenne, men push af sync-branchen eller PR-oprettelsen fejlede (se Actions-loggen for denne koersel).\n\nVentende upstream-commits:\n%s\n\nManuel procedure: fetch upstream, merge paa branch %s, push, PR.' "$COMMITS" "${{ steps.merge.outputs.branch }}")"
|
||||||
|
echo "## Florence taendte lampen: ISSUE oprettet (push/PR fejlede)" >> "$GITHUB_STEP_SUMMARY"
|
||||||
|
exit 1
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue