fix which branch update-dut1 pushes to

This commit is contained in:
Jeff Epler 2020-11-02 20:26:40 -06:00
parent 5e80701c6e
commit a505cf0238

View file

@ -37,4 +37,4 @@ jobs:
git config user.name "${GITHUB_ACTOR} (github actions cron)"
git config user.email "${GITHUB_ACTOR}@users.noreply.github.com"
git remote set-url --push origin https://${GITHUB_ACTOR}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}
if git commit -m"update iersdata" iersdata.py; then git push origin HEAD:master; fi
if git commit -m"update iersdata" iersdata.py; then git push origin HEAD:main; fi