diff options
author | Côme Chilliet <91878298+come-nc@users.noreply.github.com> | 2023-03-15 10:34:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-15 10:34:29 +0100 |
commit | 325c3100c7b1b6a5cbde4e0b2675f237735a7599 (patch) | |
tree | ce1b69c2d938bf78be9abaf0d47fb557cd3f0a67 /.github | |
parent | 502534d9702340f269b2e90274b6945ad12fa01f (diff) | |
parent | 9bb2c99b9301dd77b79fb02b47916d4e38a99503 (diff) | |
download | nextcloud-server-325c3100c7b1b6a5cbde4e0b2675f237735a7599.tar.gz nextcloud-server-325c3100c7b1b6a5cbde4e0b2675f237735a7599.zip |
Merge pull request #35610 from nextcloud/feat/add-update-3rdparty-command
Add a command to update the 3rdparty submodule to the same branch as …
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/command-pull-3rdparty.yml | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/.github/workflows/command-pull-3rdparty.yml b/.github/workflows/command-pull-3rdparty.yml new file mode 100644 index 00000000000..e53274799f9 --- /dev/null +++ b/.github/workflows/command-pull-3rdparty.yml @@ -0,0 +1,50 @@ +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@v2 + with: + token: ${{ secrets.COMMAND_BOT_PAT }} + repository: ${{ github.event.repository.full_name }} + comment-id: ${{ github.event.comment.id }} + reaction-type: "+1" + + - name: Checkout the latest code + uses: actions/checkout@v3 + with: + fetch-depth: 0 + token: ${{ secrets.COMMAND_BOT_PAT }} + + - name: Pull 3rdparty + run: git submodule foreach 'if [ "$sm_path" == "3rdparty" ]; then git pull origin ${{ github.event.pull_request.base.ref }}; fi' + + - name: Commit and push changes + run: | + git add 3rdparty + git commit -m "Update submodule 3rdparty to latest ${{ github.event.pull_request.base.ref }}" + git push + + - name: Add reaction on failure + uses: peter-evans/create-or-update-comment@v2 + if: failure() + with: + token: ${{ secrets.COMMAND_BOT_PAT }} + repository: ${{ github.event.repository.full_name }} + comment-id: ${{ github.event.comment.id }} + reaction-type: "-1" |