File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 9797 git config user.name "github-actions[bot]"
9898 git config user.email "github-actions[bot]@users.noreply.github.com"
9999 git add docs.zenc-lang.org/content/std/ docs.zenc-lang.org/content/examples/rosetta/ docs.zenc-lang.org/content/tour/
100- git diff --quiet && git diff --staged --quiet || (git commit -m "docs: auto-sync documentation and rosetta examples" && git push)
100+ git diff --quiet && git diff --staged --quiet || (git commit -m "docs: auto-sync documentation and rosetta examples" && git pull --rebase origin main && git push)
Original file line number Diff line number Diff line change 5656 echo "No changes to commit"
5757 else
5858 git commit -m "docs/site: Sync language reference and i18n infrastructure"
59+ git pull --rebase origin main
5960 git push
6061 fi
You can’t perform that action at this time.
0 commit comments