a37ae8dbd2
The change to pr-check-base avoids failing builds which should pass because the GH API is limited. It'll still work almost all of the time, but no longer fail builds which previously passed and then pushed more commits. Closes #694. |
||
---|---|---|
.. | ||
all.py | ||
lint.py | ||
pr-check-base.py | ||
script-in-readme.py | ||
script-syntax.py |