mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-01-16 13:48:58 +01:00
Code Issues Releases Wiki Activity

Merge pull request #6731 from marc1706/ticket/17407

Browse Source 
[ticket/17407] Combine create and update step and use replace edit-mode
This commit is contained in:
Marc Alexander 2024-10-03 11:33:36 +02:00 committed by GitHub
commit 688c7cad49
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
.github/workflows/check_merge_to_master.yml vendored
View File

@ -51,24 +51,13 @@ jobs:
body-includes: The attempt to merge branch `3.3.x` into `master` has completed
- name: Post comment on PR
if: steps.fc.outputs.comment-id == ''
if: always() # Ensure this step always runs, regardless of merge result
uses: peter-evans/create-or-update-comment@v4
with:
token: ${{ secrets.GITHUB_TOKEN }}
issue-number: ${{ github.event.pull_request.number }}
body: |
The attempt to merge branch `3.3.x` into `master` has completed after considering the changes in this PR.
- Merge result: ${{ steps.merge_master.outputs.mergeable == 'true' && 'Success ✅' || 'Conflict ❌' }}
${{ steps.merge_master.outputs.mergeable == 'true' && 'This PR is ready to be merged.' || 'A separate PR will be needed to merge `3.3.x` into `master`.' }}
- name: Update comment on PR
if: steps.fc.outputs.comment-id != ''
uses: peter-evans/create-or-update-comment@v4
with:
token: ${{ secrets.GITHUB_TOKEN }}
comment-id: ${{ steps.fc.outputs.comment-id }}
edit-mode: replace
body: |
The attempt to merge branch `3.3.x` into `master` has completed after considering the changes in this PR.