Release #3
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- | |
name: Release | |
on: | |
workflow_dispatch: | |
inputs: | |
version: | |
description: Version of the release | |
jobs: | |
release: | |
runs-on: ubuntu-22.04 | |
permissions: | |
contents: write | |
steps: | |
- name: Checkout sources | |
uses: actions/checkout@v4 | |
with: | |
ref: main | |
# Get Git tags so that versioneer can function correctly | |
# See issue https://github.com/actions/checkout/issues/701 | |
fetch-depth: 0 | |
- name: Update "main" branch | |
run: |- | |
# Set the git user | |
git config --global user.name "${{ github.triggering_actor }}" | |
git config --global user.email "[email protected]" | |
# Fetch the dev branch | |
git fetch origin dev | |
git switch dev # To activate the local copy | |
git switch main | |
# Merge dev into main, tag the merge commit | |
git merge --no-ff -m'Merge branch 'dev' for release ${{ inputs.version }}' dev | |
git tag ${{ inputs.version }} | |
# Make dev point to main | |
git switch dev | |
git reset --hard main | |
# Update remotes | |
git switch dev | |
git push | |
git switch main | |
git push |