.github/workflows/update: push the commit
Randy Reddig
3 years ago
39 | 39 |
git config --global user.name zonedbot
|
40 | 40 |
git add -v --all .
|
41 | 41 |
git commit -m "Automatic update for `date -u`"
|
42 | |
echo "Would have run:" git push origin -u HEAD
|
|
42 |
git push origin -u HEAD
|