ci: Use the new tool to get the mike version information

This means we use new aliases: `next` becomes `v0.x-dev`. Pre-releases
will get a version too (for example `v0.7-pre`). The `latest` version
now correctly points to the bigger stable version, and new aliases are
added for the latest pre-release (`latest-pre`) and development branch
(`latest-dev`).

Signed-off-by: Leandro Lucarella <[email protected]>

Author: llucax

.github/workflows/ci.yaml

@@ -314,39 +314,12 @@ jobs:
       - name: Calculate and check version
         id: mike-version
         env:
-          REF: ${{ github.ref }}
-          REF_NAME: ${{ github.ref_name }}
-          DEFAULT_BRANCH: ${{ github.event.repository.default_branch }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GITHUB_REPO: ${{ github.repository }}
+          GIT_REF: ${{ github.ref }}
+          GIT_SHA: ${{ github.sha }}
         run: |
-          aliases=
-          version=
-          if test "$REF_NAME" = "$DEFAULT_BRANCH"
-          then
-            version=next
-          # A tag that starts with vX.Y or X.Y
-          elif echo "$REF" | grep -q '^refs/tags' && echo "$REF_NAME" | grep -Pq '^v?\d+\.\d+\.'
-          then
-            if echo "$REF_NAME" | grep -Pq -- "-" # pre-release
-            then
-              echo "::notice title=Documentation was not published::" \
-                "The tag '$REF_NAME' looks like a pre-release."
-              exit 0
-            fi
-            version=$(echo "$REF_NAME" | sed -r 's/^(v?[0-9]+\.[0-9]+)\..*$/\1/') # vX.Y
-            major=$(echo "$REF_NAME" | sed -r 's/^(v?[0-9]+)\..*$/\1/') # vX
-            default_major=$(echo "$DEFAULT_BRANCH" | sed -r 's/^(v?[0-9]+)\..*$/\1/') # vX
-            aliases=$major
-            if test "$major" = "$default_major"
-            then
-              aliases="$aliases latest"
-            fi
-          else
-            echo "::warning title=Documentation was not published::" \
-              "Don't know how to handle '$REF' to make 'mike' version."
-            exit 0
-          fi
-          echo "version=$version" >> $GITHUB_OUTPUT
-          echo "aliases=$aliases" >> $GITHUB_OUTPUT
+          python -m frequenz.repo.config.cli.version.mike.info
 
       - name: Fetch sources
         if: steps.mike-version.outputs.version