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

[Dev] Remove PR workflow labels once PR is merged #36243

Closed
raulcd opened this issue Jun 22, 2023 · 0 comments · Fixed by #36244
Closed

[Dev] Remove PR workflow labels once PR is merged #36243

raulcd opened this issue Jun 22, 2023 · 0 comments · Fixed by #36244
Assignees
@raulcd
Labels
Component: Developer Tools Type: enhancement
Milestone
13.0.0

Comments

@raulcd
Copy link
Member

raulcd commented Jun 22, 2023

Describe the enhancement requested

Currently once we merge PRs the labels for awaiting XXXX are still present.
Removing as part of the merge process those labels can allow us to better visualize/search for issues.

Component(s)

Developer Tools
raulcd added a commit to raulcd/arrow that referenced this issue Jun 22, 2023
@raulcd
apacheGH-36243: [Dev] Remove PR workflow label as part of merge
92702c3
@github-actions github-actions bot mentioned this issue Jun 22, 2023
Merged
kou pushed a commit that referenced this issue Jun 25, 2023
@raulcd
GH-36243: [Dev] Remove PR workflow label as part of merge (#36244)
5c2c7ac 
### Rationale for this change

Those labels are unnecessary once they are merged. There was a conversation on Zulip about removing them in the past.

### What changes are included in this PR?

Once we merge a PR we remove labels that starts with the PR workflow prefix `awaiting`.

### Are these changes tested?

I have tested the code against an old testing PR I have here: #35323
The label was removed successfully.

### Are there any user-facing changes?

No
* Closes: #36243

Authored-by: Raúl Cumplido <raulcumplido@gmail.com>
Signed-off-by: Sutou Kouhei <kou@clear-code.com>
@kou kou added this to the 13.0.0 milestone Jun 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@raulcd raulcd

Labels
Component: Developer Tools Type: enhancement
Projects
None yet
Milestone
13.0.0
Development

Successfully merging a pull request may close this issue.

GH-36243: [Dev] Remove PR workflow label as part of merge raulcd/arrow
2 participants
@kou @raulcd