Skip to content

Add beta-nominated label to triagebot #10036

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

Merged
merged 1 commit into from
Dec 6, 2022
Merged

Add beta-nominated label to triagebot #10036

merged 1 commit into from
Dec 6, 2022

Conversation

flip1995
Copy link
Member

@flip1995 flip1995 commented Dec 6, 2022

Also non-maintainers should be able to label PRs with beta-nominated.

changelog: none

Also non-maintainers should be able to label PRs with `beta-nominated`.
@rustbot
Copy link
Collaborator

rustbot commented Dec 6, 2022

r? @giraffate

(rustbot has picked a reviewer for you, use r? to override)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Dec 6, 2022
@xFrednet
Copy link
Member

xFrednet commented Dec 6, 2022

Tack! (A Swedish thank you!)

@bors r+

@bors
Copy link
Contributor

bors commented Dec 6, 2022

📌 Commit 00192d2 has been approved by xFrednet

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Dec 6, 2022

⌛ Testing commit 00192d2 with merge be62a2c...

bors added a commit that referenced this pull request Dec 6, 2022
Add beta-nominated label to triagebot

Also non-maintainers should be able to label PRs with `beta-nominated`.

changelog: none
@bors
Copy link
Contributor

bors commented Dec 6, 2022

💔 Test failed - checks-action_test

@xFrednet xFrednet added S-waiting-on-bors Status: The marked PR was approved and is only waiting bors and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties labels Dec 6, 2022
@xFrednet
Copy link
Member

xFrednet commented Dec 6, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Dec 6, 2022

💡 This pull request was already approved, no need to approve it again.

  • This pull request previously failed. You should add more commits to fix the bug, or use retry to trigger a build again.
  • There's another pull request that is currently being tested, blocking this pull request: Use ubuntu-20.04 instead of ubuntu-latest #10039

@bors
Copy link
Contributor

bors commented Dec 6, 2022

📌 Commit 00192d2 has been approved by xFrednet

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Dec 6, 2022

⌛ Testing commit 00192d2 with merge d18f31e...

@bors
Copy link
Contributor

bors commented Dec 6, 2022

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: xFrednet
Pushing d18f31e to master...

@bors bors merged commit d18f31e into master Dec 6, 2022
@xFrednet xFrednet deleted the flip1995/labels branch December 6, 2022 19:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: The marked PR was approved and is only waiting bors
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants