File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 88
99permissions :
1010 contents : write
11+ pull-requests : write
1112
1213concurrency :
1314 group : update-wiki-${{ github.ref }}
@@ -84,13 +85,19 @@ jobs:
8485 echo "changed=true" >> "$GITHUB_OUTPUT"
8586 fi
8687
87- - name : Commit parent repo submodule pointer
88+ - name : Create or update pull request for wiki submodule pointer
8889 if : steps.submodule_status.outputs.changed == 'true'
89- id : parent_commit
90- uses : EndBug/add-and-commit@v10
90+ uses : peter-evans/create-pull-request@v7
9191 with :
92- add : .github/wiki
93- message : " Update wiki submodule pointer"
94- default_author : github_actions
95- pull : " --rebase --autostash"
96- push : true
92+ token : ${{ github.token }}
93+ branch : chore/update-wiki-submodule-pointer
94+ base : main
95+ title : " Update wiki submodule pointer"
96+ body : |
97+ This PR updates the repository submodule pointer for `.github/wiki` to match the latest wiki revision generated by the workflow.
98+ commit-message : " Update wiki submodule pointer"
99+ author : github-actions <41898282+github-actions[bot]@users.noreply.github.com>
100+ committer : github-actions <41898282+github-actions[bot]@users.noreply.github.com>
101+ add-paths : |
102+ .github/wiki
103+ delete-branch : true
You can’t perform that action at this time.
0 commit comments