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

Minor backporting script tweaks #14027

Merged
merged 2 commits into from
Nov 16, 2020
Merged

Conversation

twpayne
Copy link
Contributor

@twpayne twpayne commented Nov 13, 2020

Just a couple of things to make life easier for backporters :)

@twpayne twpayne added release-note/misc This PR makes changes that have no direct user impact. area/build Anything to do with the build, more general then area/CI labels Nov 13, 2020
@twpayne twpayne requested review from a team as code owners November 13, 2020 16:06
@maintainer-s-little-helper maintainer-s-little-helper bot added this to In progress in 1.10.0 Nov 13, 2020
Signed-off-by: Tom Payne <tom@isovalent.com>
This is mainly for the benefit of macOS users typing in the wrong
terminal.

Signed-off-by: Tom Payne <tom@isovalent.com>
@twpayne twpayne force-pushed the pr/twpayne/backporting-tweaks branch from 13120f9 to 2adc907 Compare November 15, 2020 01:12
@tklauser tklauser removed their assignment Nov 16, 2020
@tklauser tklauser added the ready-to-merge This PR has passed all tests and received consensus from code owners to merge. label Nov 16, 2020
Copy link
Member

@fristonio fristonio left a comment

Choose a reason for hiding this comment

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

LGTM

@fristonio fristonio merged commit 05eabc7 into master Nov 16, 2020
@fristonio fristonio deleted the pr/twpayne/backporting-tweaks branch November 16, 2020 11:58
@gandro
Copy link
Member

gandro commented Feb 22, 2021

Marking this for backport, because submit-backport is executed from the backport branches.

Note to backporters: You only need to backport commit 05eabc7 - tools/dev-doctor is not available on older branches.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/build Anything to do with the build, more general then area/CI 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
No open projects
Development

Successfully merging this pull request may close these issues.

None yet

8 participants