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

.github: Rename maintainer's little helper's config file #569

Merged
merged 1 commit into from Jun 16, 2021

Conversation

pchaigno
Copy link
Member

@pchaigno pchaigno commented Jun 7, 2021

This pull request renames the config. file to better clarify its purpose.

This commit renames the config. file to better clarify its purpose.

Signed-off-by: Paul Chaignon <paul@cilium.io>
@pchaigno pchaigno added the area/misc Impacts miscellaneous areas of the code not otherwise owned by another area. label Jun 7, 2021
@pchaigno pchaigno requested a review from aanm June 7, 2021 14:32
@maintainer-s-little-helper maintainer-s-little-helper bot added the dont-merge/needs-release-note-label PR is blocked until the release note is set label Jun 7, 2021
@pchaigno pchaigno added the release-note/misc This PR makes changes that have no direct user impact. label Jun 7, 2021
@maintainer-s-little-helper maintainer-s-little-helper bot removed the dont-merge/needs-release-note-label PR is blocked until the release note is set label Jun 7, 2021
@aanm aanm added the dont-merge/blocked PR/issue blocked by an external factor (be that PR, issue, or else) label Jun 14, 2021
@aanm aanm removed the dont-merge/blocked PR/issue blocked by an external factor (be that PR, issue, or else) label Jun 16, 2021
@maintainer-s-little-helper maintainer-s-little-helper bot added the ready-to-merge This PR has passed all tests and received consensus from code owners to merge. label Jun 16, 2021
@rolinh rolinh merged commit e075e46 into master Jun 16, 2021
@rolinh rolinh deleted the pr/pchaigno/rename-mlh-config-file branch June 16, 2021 05:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/misc Impacts miscellaneous areas of the code not otherwise owned by another area. ready-to-merge This PR has passed all tests and received consensus from code owners to merge. release-note/misc This PR makes changes that have no direct user impact.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants