diff options
| author | Francesco Renzi <rentziass@github.com> | 2022-10-04 13:44:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-04 13:44:41 +0100 |
| commit | 7d71944e7053896991e0ca6a0a880ae0cf350f9f (patch) | |
| tree | 8291035ca14ca4db14c3b96e9ea2092b8cb68591 /.github/workflows | |
| parent | 9069108c05171098848c6cfe458dd9c8c86efe60 (diff) | |
Add workflow to update a main version (#942)
* Add workflow to update a main version
* New line
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/update-main-version.yml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/.github/workflows/update-main-version.yml b/.github/workflows/update-main-version.yml new file mode 100644 index 0000000..c1e046a --- /dev/null +++ b/.github/workflows/update-main-version.yml @@ -0,0 +1,30 @@ +name: Update Main Version +run-name: Move ${{ github.event.inputs.main_version }} to ${{ github.event.inputs.target }} + +on: + workflow_dispatch: + inputs: + target: + description: The tag or reference to use + required: true + main_version: + type: choice + description: The main version to update + options: + - v3 + +jobs: + tag: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + with: + fetch-depth: 0 + - name: Git config + run: | + git config user.name github-actions + git config user.email github-actions@github.com + - name: Tag new target + run: git tag -f ${{ github.event.inputs.main_version }} ${{ github.event.inputs.target }} + - name: Push new tag + run: git push origin ${{ github.event.inputs.main_version }} --force |