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

style: use build/include_directory for NOLINT #23459

Merged
merged 1 commit into from May 7, 2020
Merged

style: use build/include_directory for NOLINT #23459

merged 1 commit into from May 7, 2020

Conversation

nornagon
Copy link
Member

@nornagon nornagon commented May 7, 2020

Backport of #23303.

Notes: none

@electron-cation electron-cation bot added the new-pr 🌱 PR opened in the last 24 hours label May 7, 2020
@trop trop bot added 6-1-x backport This is a backport PR labels May 7, 2020
@nornagon nornagon added the fast-track 🚅 Indicates that this PR is intended to bypass the 24 hour rule. Needs approval from Releases label May 7, 2020
@nornagon
Copy link
Member Author

nornagon commented May 7, 2020

fast-track as this is breaking CI.

@electron-cation electron-cation bot removed the new-pr 🌱 PR opened in the last 24 hours label May 7, 2020
@nornagon
Copy link
Member Author

nornagon commented May 7, 2020

lint is the only relevant CI check here, so merging.

@nornagon nornagon merged commit ae89560 into 6-1-x May 7, 2020
@release-clerk
Copy link

release-clerk bot commented May 7, 2020

No Release Notes

@nornagon nornagon deleted the fix-lint-6 branch May 7, 2020 21:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
6-1-x backport This is a backport PR fast-track 🚅 Indicates that this PR is intended to bypass the 24 hour rule. Needs approval from Releases
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants