Fix 'Upload and tag as git tag with every release creation on master …

…branch' on Publish GitHub pages job.

.github/workflows/doc.yaml

@@ -46,5 +46,5 @@ jobs:
       - name: Upload and tag as git tag with every release creation on master branch
         if: github.event_name == 'release' && github.event.action == 'created'
         run: |
-          mike deploy --push ${{ github.ref }}
+          mike deploy --push ${{ github.ref_name }}
           mike set-default --push latest