Removed redundant push

Author: SebastianWendorf

.github/workflows/release.yml

@@ -69,10 +69,4 @@
           - name: Update package.json to development version
             working-directory: ./typescript
             run: npm version ${{ github.event.inputs.developmentVersion }} --no-git-tag-version
-
-          - name: Push development version commit
-            run: |
-              git config user.name github-actions
-              git config user.email github-actions@github.com
-              git push