Push tag manually

The previous action did not work, it complained about not being in a git directory. Did not investigate given this is a two line command.

Author: nicoddemus

.github/workflows/deploy.yml

@@ -34,9 +34,10 @@ jobs:
     - name: Publish package to PyPI
       uses: pypa/[email protected]
 
-    - uses: actions-ecosystem/action-push-tag@v1
-      with:
-        tag: v${{ github.event.inputs.version }}
+    - name: Push tag
+      run: |
+        git tag v${{ github.event.inputs.version }} ${{ github.sha }}
+        git push origin v${{ github.event.inputs.version }}
 
     - name: Set up Python
       uses: actions/[email protected]