Skip to content

Conversation

Alexendoo
Copy link
Member

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Oct 7, 2023

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 Oct 7, 2023
@bors
Copy link
Contributor

bors commented Nov 2, 2023

☔ The latest upstream changes (presumably #11747) made this pull request unmergeable. Please resolve the merge conflicts.

Copy link
Contributor

@Jarcho Jarcho left a comment

Choose a reason for hiding this comment

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

r? Jarcho

Just needs a rebase.

@rustbot rustbot assigned Jarcho and unassigned giraffate Feb 14, 2024
@Alexendoo Alexendoo force-pushed the negative-redundant-guards branch from 346d45f to b32d7c0 Compare February 14, 2024 13:40
@Jarcho
Copy link
Contributor

Jarcho commented Feb 16, 2024

Thank you. @bors r+

@bors
Copy link
Contributor

bors commented Feb 16, 2024

📌 Commit b32d7c0 has been approved by Jarcho

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Feb 16, 2024

⌛ Testing commit b32d7c0 with merge 4fb9e12...

@bors
Copy link
Contributor

bors commented Feb 16, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: Jarcho
Pushing 4fb9e12 to master...

@bors bors merged commit 4fb9e12 into rust-lang:master Feb 16, 2024
@Alexendoo Alexendoo deleted the negative-redundant-guards branch February 16, 2024 17:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants