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

Revert "Add a lint to catch adding files that would otherwise be ignored by git." #10020

Merged
merged 1 commit into from Mar 13, 2018

Conversation

Projects
None yet
4 participants
@gsnedders
Copy link
Contributor

gsnedders commented Mar 13, 2018

This reverts commit b3b4332.

See #10012.


This change is Reviewable

@gsnedders gsnedders requested review from jdm and jgraham Mar 13, 2018

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

@foolip

foolip approved these changes Mar 13, 2018

@w3c-bots

This comment has been minimized.

Copy link

w3c-bots commented Mar 13, 2018

Build PASSED

Started: 2018-03-13 22:31:59
Finished: 2018-03-13 22:43:47

View more information about this build on:

@gsnedders gsnedders merged commit 4f4793b into web-platform-tests:master Mar 13, 2018

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details

@gsnedders gsnedders deleted the gsnedders:fix-lint branch Mar 13, 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.