-
-
Notifications
You must be signed in to change notification settings - Fork 4.2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Only lint files changed by the local user and not by foreign commits #5938
Comments
Ah, yes. I'll close #5836 in favor of this and add a link to it in the issue thread. Thanks! |
I am working on this |
6 tasks
nithusha21
pushed a commit
that referenced
this issue
Jan 3, 2019
#6033) * Test against upstream * Removed hard-coded upstream * Only checks with upstream/develop * Deleted log file * Added gitpython to third party * Test1 * Removed remote_sha1 * Removed test print statements * Curl instead of pip * Fixed import of git * Fixed import error * Install gitpython requirements * Add gitpython path to system path * Change order of install * Changed order * Add new line * Add gitpython's requirements path in pre_push
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
In order to make the pre-submit checks faster, we should only lint files which have been changed by the local user. Currently, the checks run for merge commits as well, that is, when the user updates his/her local branch with upstream develop.
To fix this issue, changes probably need to be made in scripts/pre_push_hook.py.
(For more details, refer to #5836).
The text was updated successfully, but these errors were encountered: