Merge pull request #125 from FIRST-Tech-Challenge/production-deploy

Support running deploy action from the release action.

.github/workflows/push-on-release.yml

@@ -3,11 +3,14 @@ on:
     types: [published]
 
 jobs:
-  build:
+  push-to-prod:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
         with:
+          # Note, uses personal access token to cause GitHub to run another action on push
+          # from this action.  Care should be taken to ensure recursive runs do not ensue.
+          token: ${{secrets.ACTION_PAT}}
           fetch-depth: 0
       - run: |
           git checkout main