Skip to content
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

Update lint.py #9997

Closed
wants to merge 1 commit into from

Conversation

Projects
None yet
4 participants
@teh-f00l
Copy link
Contributor

teh-f00l commented Mar 13, 2018

updated lint_paths to allow directories specified on the command line to be checked

differences from previous proposal:
snake_case variables
checks if CL argument is a directory
no functional programming


This change is Reviewable

Update lint.py
updated lint_paths to allow directories specified on the command line to be checked

differences from previous proposal:
snake_case variables
checks if CL argument is a directory
no functional programming

@wpt-pr-bot wpt-pr-bot added the infra label Mar 13, 2018

@wpt-pr-bot wpt-pr-bot requested review from gsnedders and jgraham Mar 13, 2018

@w3c-bots

This comment has been minimized.

Copy link

w3c-bots commented Mar 13, 2018

Build BROKEN

Started: 2018-03-13 15:03:52
Finished: 2018-03-13 15:20:17

Failing Jobs

  • lint
  • tools_unittest in py27
  • tools_unittest in py36
  • tools_unittest in pypy

View more information about this build on:

@gsnedders

This comment has been minimized.

Copy link
Contributor

gsnedders commented Mar 15, 2018

This appears to just be a duplicate of #9995.

@gsnedders gsnedders closed this Mar 15, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.