Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat(ci): create tag and merge commit manually #382

Merged
Changes from 3 commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
28 changes: 13 additions & 15 deletions .github/workflows/release-tech-aws.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,26 +23,24 @@ jobs:
steps:
- uses: actions/checkout@v4

- name: Initialize mandatory git config
run: |
git config user.name "eclipse-edc-bot"
git config user.email "[email protected]"

# create tag on the current branch using GitHub's own API
- name: Create tag on current branch (main)
uses: actions/github-script@v6
with:
script: |
github.rest.git.createRef({
owner: context.repo.owner,
repo: context.repo.repo,
ref: 'refs/tags/v${{ env.EDC_VERSION }}',
sha: context.sha
})
run: |
git tag v${{ env.EDC_VERSION }}
git push origin tag v${{ env.EDC_VERSION }}

# create merge commit main -> releases encoding the version in the commit message
- name: Merge main -> releases
uses: everlytic/[email protected]
with:
github_token: ${{ github.token }}
source_ref: ${{ github.ref }}
target_branch: 'releases'
commit_message_template: 'Merge commit for release of version v${{ env.EDC_VERSION }}'
run: |
git fetch origin releases --unshallow
git checkout --track origin/releases
git merge main -m "Merge commit for release of version v${{ env.EDC_VERSION }}"
git push origin releases

outputs:
edc-version: ${{ env.EDC_VERSION }}
Expand Down
Loading