Skip to content

triagebot exclude_labels -> exclude_titles#15620

Merged
bors merged 1 commit into
rust-lang:masterfrom
pitaj:no-merges_exclude-titles
Sep 22, 2023
Merged

triagebot exclude_labels -> exclude_titles#15620
bors merged 1 commit into
rust-lang:masterfrom
pitaj:no-merges_exclude-titles

Conversation

@pitaj

@pitaj pitaj commented Sep 16, 2023

Copy link
Copy Markdown
Contributor

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 16, 2023
@Veykril

Veykril commented Sep 22, 2023

Copy link
Copy Markdown
Member

Thanks!
@bors r+

@bors

bors commented Sep 22, 2023

Copy link
Copy Markdown
Contributor

📌 Commit 24b6922 has been approved by Veykril

It is now in the queue for this repository.

@Veykril

Veykril commented Sep 22, 2023

Copy link
Copy Markdown
Member

@lnicola so you are aware for the syncs (not that it really matters as triagebot doesn't prevent merges)

@bors

bors commented Sep 22, 2023

Copy link
Copy Markdown
Contributor

⌛ Testing commit 24b6922 with merge 609bdbc...

@bors

bors commented Sep 22, 2023

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 609bdbc to master...

@bors bors merged commit 609bdbc into rust-lang:master Sep 22, 2023
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.

4 participants