File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -36,20 +36,20 @@ jobs:
3636 git config --global user.name emscripten-bot
3737 git config --global user.email [email protected] 3838 if ./tools/maint/update_docs.py; then
39- echo "rebaseline_tests returned zero, expectations up-to-date"
39+ echo "update_docs.py returned zero, expectations up-to-date"
4040 # Exit early and don't create a PR
4141 exit 0
4242 else
4343 code=$?
4444 if [[ $code != 2 ]] ; then
45- echo "rebaseline_docs .py failed with unexpected error $code (expected 2)"
45+ echo "update_docs .py failed with unexpected error $code (expected 2)"
4646 exit 1
4747 fi
4848 fi
4949 # Create a PR against the emscripten-site repo
5050 cd site/emscripten-site
5151 git push -f origin update
5252 gh pr create --fill --head update --base gh-pages --reviewer sbc100,kripken
53- # TODO: add --auto here once we have the review requirment in place
54- # for PR to the -site repo
55- gh pr merge --squash # --auto
53+ # TODO: Enable this once we figure out how to enforce review
54+ # requirment
55+ # gh pr merge --squash --auto
You can’t perform that action at this time.
0 commit comments