Merge pull request #1 from rusefi/main

pull in changes
This commit is contained in:
David Holdeman 2023-07-12 18:24:51 -05:00 committed by GitHub
commit b1f53f0e48
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 3 deletions

View File

@ -9,7 +9,10 @@ jobs:
steps:
- uses: actions/checkout@v2
with:
token: ${{ secrets.MY_REPO_PAT }}
# MY_REPO_PAT is about accessing private submodules
# todo: how do we use same script both with and without MY_REPO_PAT? would two conditional versions of 'uses: actions/checkout@v2' be needed?
# https://stackoverflow.com/questions/72781712/how-to-add-private-git-repo-as-a-submodule-in-another-git-repo:
# token: ${{ secrets.MY_REPO_PAT }}
submodules: recursive
- name: Install kicad
@ -41,9 +44,8 @@ jobs:
bash hellen-one/bin/gha-commit.sh
- name: Push board files
if: ${{env.NOCOMMIT != 'true'}}
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' && env.NOCOMMIT != 'true'}}
uses: ad-m/github-push-action@master
with:
github_token: ${{ github.token }}
branch: ${{ steps.extract_branch.outputs.branch }}