File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 4646 - name : Merge release back into dev
4747 if : github.ref == 'refs/heads/release'
4848 run : |
49- git fetch origin dev
50- git checkout dev
51- git merge --no-ff origin/release -m "maint: merge release into dev [skip bump]"
49+ # Fetch both branches after the release bump. In particular, the
50+ # origin/release ref checked out by actions/checkout can otherwise
51+ # still point at the pre-bump commit.
52+ git fetch origin dev release
53+ git checkout -B dev origin/dev
54+
55+ # Keep the release version when the version edits conflict. Other
56+ # non-conflicting development changes on dev are retained.
57+ git merge --no-ff -X theirs origin/release \
58+ -m "maint: merge release into dev [skip bump]"
59+
60+ uvx bump-my-version bump pre_n --no-tag
5261 git push origin dev
Original file line number Diff line number Diff line change @@ -163,3 +163,4 @@ openpnm/core/.DS_Store
163163* .DS_Store
164164* .nblink
165165.idea
166+ .leankg
You can’t perform that action at this time.
0 commit comments