Skip to content

Conversation

@frolosofsky
Copy link
Member

The #1101 broke pre-commit git hook by moving linter from contrib/devtools totest/lint
directory. This commit fixes that.

The dtr-org#1101 broke pre-commit git hook by moving linter from `contrib/devtools` to`test/lint`
directory. This commit fixes that.

Signed-off-by: Stanislav Frolov <[email protected]>
@frolosofsky frolosofsky added the tools Development tools label May 17, 2019
@frolosofsky frolosofsky requested review from a team and cornelius May 17, 2019 05:47
@frolosofsky frolosofsky self-assigned this May 17, 2019
Copy link
Member

@scravy scravy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

utACK 2b4fa09

Copy link
Member

@cornelius cornelius left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

utACK 2b4fa09

@frolosofsky frolosofsky merged commit 9a877f7 into dtr-org:master May 17, 2019
@frolosofsky frolosofsky deleted the fix-pre-commit branch May 17, 2019 07:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

tools Development tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants