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

contrib: Print PR number in set-labels.py #12704

Merged
merged 1 commit into from Jul 29, 2020

Conversation

christarazi
Copy link
Member

@christarazi christarazi commented Jul 29, 2020

Simple enough change and improves usability.

Fixes: 9fdaf24 ("backporting: Report progress in set-labels.py")

@christarazi christarazi requested a review from a team as a code owner July 29, 2020 05:06
@christarazi christarazi added area/misc Impacts miscellaneous areas of the code not otherwise owned by another area. needs-backport/1.6 release-note/misc This PR makes changes that have no direct user impact. labels Jul 29, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot added dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. and removed dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. labels Jul 29, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot added this to Needs backport from master in 1.8.3 Jul 29, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot added this to Needs backport from master in 1.7.7 Jul 29, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot added this to Needs backport from master in 1.6.11 Jul 29, 2020
Simple enough change and improves usability.

Fixes: 9fdaf24 ("backporting: Report progress in set-labels.py")

Signed-off-by: Chris Tarazi <chris@isovalent.com>
@christarazi christarazi force-pushed the pr/christarazi/print-pr-set-labels branch from 7e0bd73 to fb41244 Compare July 29, 2020 05:07
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.02%) to 37.215% when pulling fb41244 on christarazi:pr/christarazi/print-pr-set-labels into 4ea0ea4 on cilium:master.

@aanm aanm merged commit 3b58cf6 into cilium:master Jul 29, 2020
@christarazi christarazi deleted the pr/christarazi/print-pr-set-labels branch July 29, 2020 18:51
@maintainer-s-little-helper maintainer-s-little-helper bot moved this from Needs backport from master to Backport pending to v1.8 in 1.8.3 Jul 30, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot moved this from Needs backport from master to Backport pending to v1.7 in 1.7.7 Jul 30, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot moved this from Needs backport from master to Backport pending to v1.6 in 1.6.11 Jul 30, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot moved this from Backport pending to v1.8 to Backport done to v1.8 in 1.8.3 Aug 3, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot moved this from Backport pending to v1.7 to Backport done to v1.7 in 1.7.7 Aug 3, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot moved this from Backport pending to v1.6 to Backport done to v1.6 in 1.6.11 Aug 3, 2020
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. release-note/misc This PR makes changes that have no direct user impact.
Projects
No open projects
1.6.11
Backport done to v1.6
1.7.7
Backport done to v1.7
1.8.3
Backport done to v1.8
Development

Successfully merging this pull request may close these issues.

None yet

6 participants