Install PyGitHub before publishing

Author: earlephilhower

.github/workflows/release-to-publish.yml

@@ -21,6 +21,7 @@ jobs:
         BUILD_TYPE: package
         CI_GITHUB_API_KEY: ${{ secrets.GITHUB_TOKEN }}
       run: |
+           pip3 install PyGithub
            TAG=$(git describe --exact-match --tags)
            curl -L -o ./package_rp2040_index.json "$GITHUB_SERVER_URL/$GITHUB_REPOSITORY/releases/download/$TAG/package_rp2040_index.json"
            ./package/update_release.py --token ${CI_GITHUB_API_KEY} --repo "$GITHUB_REPOSITORY" --tag global ./package_rp2040_index.json