You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Summary:
There was a bug in the lint.sh script such that the linters weren't actually being run.
`set -e <cmd>` just silently ignores the `<cmd>` part. Instead we should use `set -e` at the top of the file and call the linters normally.
It also adds GITHUB_TOKEN support so the linter script can actually checkout upstream to do a diff.
Pull Request resolved: #9
Test Plan:
CI and
modify random .py file with import and whitespace changes
```
scripts/lint.sh
```
Reviewed By: tierex
Differential Revision: D28657047
Pulled By: d4l3k
fbshipit-source-id: ea5f5bc1693bff3b7e0f2bc2eba9816f97035532
0 commit comments