Attempt to push packaged exe to tools

Author: me-no-dev

Diff for: .github/scripts/upload_py_tools.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+echo "Pushing as $GITHUB_ACTOR"
+git config --global github.user "$GITHUB_ACTOR"
+git config --global user.name "$GITHUB_ACTOR"
+git config --global user.email "$GITHUB_ACTOR@users.noreply.github.com"
+git add tools/get.exe
+git commit -m "Push binary to tools"
+git push
+

Diff for: .github/workflows/build_py_tools.yml

@@ -38,7 +38,9 @@ jobs:
       PIP_EXTRA_INDEX_URL: "https://dl.espressif.com/pypi"
     steps:
       - name: Checkout repository
-        uses: actions/checkout@master
+        uses: actions/checkout@v3
+        with:
+          ref: ${{ github.event.pull_request.head.ref }}
       - name: Set up Python 3.8
         # Skip setting python on ARM because of missing compatibility: https://github.com/actions/setup-python/issues/108
         if: matrix.os != 'ARM' && matrix.os != 'ARM64'
@@ -64,6 +66,14 @@ jobs:
         shell: bash
         run: |
           ./${{ env.DISTPATH }}/get${{ matrix.EXTEN }} -h
+      # Commit and push changed files.
+      - name: Push binary to tools
+        if: matrix.os == 'windows-latest'
+        env:
+          GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
+        run: |
+          cp -Force ./${{ env.DISTPATH }}/get.exe tools/get.exe
+          bash .github/scripts/upload_py_tools.sh
       - name: Archive artifact
         uses: actions/upload-artifact@master
         with: