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

Support new_issue in autolabel config #1708

Merged
merged 1 commit into from
Jul 1, 2023
Merged

Support new_issue in autolabel config #1708

merged 1 commit into from
Jul 1, 2023

Conversation

Noratrieb
Copy link
Member

@Noratrieb Noratrieb commented Jul 1, 2023

Just like new_pr, it adds a label to every new issue that is opened.

See https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/make.20untriaged.20issues.20explicit for the motivation.

I've tested it on https://github.com/Nilstrieb/some-cursed-repo, it seems to behave correctly for what I tested.
I tested

[autolabel."wontfix"]
trigger_labels = [
  "bug"
]

[autolabel."invalid"]
new_issue = true

[autolabel."documentation"]
new_pr = true

[autolabel."help wanted"]
new_pr = true
new_issue = true
exclude_labels = ["duplicate"]
  • create an issue, "help wanted" and "invalid" are assigned
  • create an issue with the "duplicate" label, only "invalid" is assigned
  • create a PR, "help wanted" and "documentation" are assigned
  • create a PR with the "duplicate" label, only "documentation" is assigned
  • add "bug" to an issue, "wontfix" is assigned (this is very useful)
  • add "bug" to a PR "wontfix" is assigned

documentation: rust-lang/rust-forge#690

Just like `new_pr`, it adds a label to every new issue that is opened.

See https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/make.20untriaged.20issues.20explicit
for the motivation.
Noratrieb added a commit to rust-lang/rust-forge that referenced this pull request Jul 1, 2023
@Mark-Simulacrum Mark-Simulacrum merged commit d49c022 into rust-lang:master Jul 1, 2023
Mark-Simulacrum pushed a commit to rust-lang/rust-forge that referenced this pull request Jul 1, 2023
@Noratrieb Noratrieb deleted the new_issue branch July 1, 2023 15:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants