leverage github api for release tag creation (#561)

This was historically done via an external action and refactored to try and use git cli directly. However, the local
repository isn't configured as desired, so using the gh cli accomplishes the same as the external action without having
to manipulate the repository on the runner's disk.

Signed-off-by: Jose R. Gonzalez <[email protected]>

Author: komish

.github/workflows/pr-functional-tests.yaml

@@ -206,5 +206,8 @@ jobs:
           TARGET_TAG: ${{ steps.check_version_in_PR.outputs.PR_version }}
           TARGET_COMMIT: ${{ steps.main_sha.outputs.origin_main_sha }}
         run: |
-          git tag "${TARGET_TAG}" "${TARGET_COMMIT}"
-          git push --force-with-lease origin "${TARGET_TAG}"
+          gh api \
+            --method POST \
+            "/repos/${GITHUB_REPOSITORY}/git/refs" \
+            -f "ref=refs/tags/${TARGET_TAG}" \
+            -f "sha=${TARGET_COMMIT}"