Skip to content

Commit

Permalink
Merge v1.19 into master (#1588)
Browse files Browse the repository at this point in the history
  • Loading branch information
mongodb-php-bot authored Jun 17, 2024
2 parents 4956b57 + c72bde6 commit 835673e
Showing 1 changed file with 30 additions and 6 deletions.
36 changes: 30 additions & 6 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -62,6 +62,7 @@ jobs:
app_id: ${{ vars.APP_ID }}
private_key: ${{ secrets.APP_PRIVATE_KEY }}
submodules: true
fetch-depth: 0

- name: "Set up drivers-github-tools"
uses: mongodb-labs/drivers-github-tools/setup@v2
Expand Down Expand Up @@ -109,20 +110,43 @@ jobs:
with:
version: ${{ inputs.version }}
tag_message_template: 'Release ${VERSION}'
# Don't push tag, we'll do that after merging up
push_tag: false

- name: "Bump to next development release and commit"
uses: mongodb-labs/drivers-github-tools/bump-version@v2
with:
version: ${{ inputs.version }}
version_bump_script: "./bin/update-release-version.php to-next-patch-dev"
commit_template: 'Back to -dev'
# Don't push commit, we still need to merge up
push_commit: false

- name: "Determine branch to merge up to"
id: get-next-branch
uses: alcaeus/automatic-merge-up-action/get-next-branch@main
with:
ref: ${{ github.ref_name }}
branchNamePattern: 'v<major>.<minor>'
fallbackBranch: 'master'

# TODO: Manually merge using ours strategy. This avoids merge-up pull requests being created
# Process is:
# 1. switch to next branch (according to merge-up action)
# 2. merge release branch using --strategy=ours
# 3. push next branch
# 4. switch back to release branch, then push
- name: "Manually merge up changes"
if: ${{ steps.get-next-branch.outputs.hasNextBranch }}
run: |
git checkout ${NEXT_BRANCH}
git merge --strategy=ours ${RELEASE_BRANCH}
git push origin ${NEXT_BRANCH}
git checkout ${RELEASE_BRANCH}
env:
NEXT_BRANCH: ${{ steps.get-next-branch.outputs.branchName }}
RELEASE_BRANCH: ${{ github.ref_name }}

- name: "Push tag and release branch"
run: |
git push origin ${RELEASE_BRANCH}
git push origin tag ${{ inputs.version }}
env:
RELEASE_BRANCH: ${{ github.ref_name }}

- name: "Prepare release message"
run: |
Expand Down

0 comments on commit 835673e

Please sign in to comment.