Update 3rdparty command #8371
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Update 3rdparty command | |
on: | |
issue_comment: | |
types: created | |
permissions: | |
contents: read | |
jobs: | |
rebase: | |
runs-on: ubuntu-latest | |
permissions: | |
contents: none | |
# On pull requests and if the comment starts with `/update-3rdparty` | |
if: github.event.issue.pull_request != '' && startsWith(github.event.comment.body, '/update-3rdparty') | |
steps: | |
- name: Add reaction on start | |
uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.1 | |
with: | |
token: ${{ secrets.COMMAND_BOT_PAT }} | |
repository: ${{ github.event.repository.full_name }} | |
comment-id: ${{ github.event.comment.id }} | |
reactions: "+1" | |
- name: Init branch | |
uses: xt0rted/pull-request-comment-branch@d97294d304604fa98a2600a6e2f916a84b596dc7 # v1 | |
id: comment-branch | |
- name: Checkout ${{ steps.comment-branch.outputs.head_ref }} | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
token: ${{ secrets.COMMAND_BOT_PAT }} | |
ref: ${{ steps.comment-branch.outputs.head_ref }} | |
- name: Setup git | |
run: | | |
git config --local user.email "[email protected]" | |
git config --local user.name "nextcloud-command" | |
- name: Pull 3rdparty | |
run: git submodule foreach 'if [ "$sm_path" == "3rdparty" ]; then git pull origin ${{ github.event.issue.pull_request.base.ref }}; fi' | |
- name: Commit and push changes | |
run: | | |
git add 3rdparty | |
git commit -s -m "Update submodule 3rdparty to latest ${{ github.event.issue.pull_request.base.ref }}" | |
git push | |
- name: Add reaction on failure | |
uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.1 | |
if: failure() | |
with: | |
token: ${{ secrets.COMMAND_BOT_PAT }} | |
repository: ${{ github.event.repository.full_name }} | |
comment-id: ${{ github.event.comment.id }} | |
reactions: "-1" |