We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7b29742 commit c2439adCopy full SHA for c2439ad
.github/workflows/merge_master_to_dev.yml
@@ -26,7 +26,6 @@ jobs:
26
id: merge
27
run: |
28
git fetch origin master
29
- # Create a unique branch name
30
BRANCH_NAME="merge-master-into-dev-4.0-$(date +'%Y%m%d%H%M%S')"
31
echo "BRANCH_NAME=$BRANCH_NAME" >> $GITHUB_ENV
32
@@ -42,6 +41,13 @@ jobs:
42
41
git push origin HEAD:dev/4.0
43
echo "Merged cleanly and pushed to dev/4.0."
44
+ - name: Commit conflict markers and push temp branch (excluding workflows)
45
+ if: env.MERGE_EXIT_CODE != '0'
46
+ run: |
47
+ git add . ':!**/.github/workflows/**'
48
+ git commit -m "Conflict: merge master into dev/4.0 (with conflicts)"
49
+ git push origin ${{ env.BRANCH_NAME }}
50
+
51
- name: Create Pull Request if merge failed
52
if: env.MERGE_EXIT_CODE != '0'
53
uses: peter-evans/create-pull-request@v7
0 commit comments