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.

Sign up for GitHub

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

Jump to bottom

chore: lint patch descriptions #20919

Merged
merged 1 commit into from
Nov 4, 2019
Merged

chore: lint patch descriptions #20919

merged 1 commit into from
Nov 4, 2019

Conversation

nornagon
Copy link
Member

@nornagon nornagon commented Nov 1, 2019

Description of Change

We have a policy that all patches need to come with justification for their existence. This will help us enforce that policy.

Checklist

Release Notes

Notes: none

@electron-cation electron-cation bot added the new-pr 🌱 PR opened in the last 24 hours label Nov 1, 2019
@electron-cation electron-cation bot removed the new-pr 🌱 PR opened in the last 24 hours label Nov 2, 2019
@nornagon nornagon merged commit 4de04da into master Nov 4, 2019
@release-clerk
Copy link

release-clerk bot commented Nov 4, 2019

No Release Notes

@nornagon nornagon deleted the lint-patch-descriptions branch November 4, 2019 19:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@miniak miniak miniak approved these changes

@MarshallOfSound MarshallOfSound Awaiting requested review from MarshallOfSound

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@nornagon @miniak