From 8230315d06ad95c617244d2f265d237a1682d445 Mon Sep 17 00:00:00 2001
From: Francesco Renzi <rentziass@github.com>
Date: Tue, 4 Oct 2022 13:44:41 +0100
Subject: [PATCH] Add workflow to update a main version (#942)

* Add workflow to update a main version

* New line
---
 .github/workflows/update-main-version.yml | 30 +++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 .github/workflows/update-main-version.yml

diff --git a/.github/workflows/update-main-version.yml b/.github/workflows/update-main-version.yml
new file mode 100644
index 000000000..c1e046ace
--- /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