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

Ping infra team on all tool bustage #50434

Merged
merged 1 commit into from
May 7, 2018
Merged

Conversation

nrc
Copy link
Member

@nrc nrc commented May 3, 2018

r? @kennytm

cc @rust-lang/core as discussed at today's meeting

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 3, 2018
@alexcrichton
Copy link
Member

cc @rust-lang/infra

@bors: r+

@bors
Copy link
Contributor

bors commented May 3, 2018

📌 Commit 28dfc07 has been approved by alexcrichton

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 3, 2018
@pietroalbini
Copy link
Member

@bors rollup

kennytm added a commit to kennytm/rust that referenced this pull request May 4, 2018
Ping infra team on all tool bustage

r? @kennytm

cc @rust-lang/core as discussed at today's meeting
@bors
Copy link
Contributor

bors commented May 7, 2018

⌛ Testing commit 28dfc07 with merge 760274f...

bors added a commit that referenced this pull request May 7, 2018
Ping infra team on all tool bustage

r? @kennytm

cc @rust-lang/core as discussed at today's meeting
@bors
Copy link
Contributor

bors commented May 7, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: alexcrichton
Pushing 760274f to master...

@bors bors merged commit 28dfc07 into rust-lang:master May 7, 2018
kennytm added a commit to kennytm/rust that referenced this pull request May 12, 2018
…ive, r=alexcrichton

Migrate the toolstate update bot to rust-highfive

Rationale: Only members of the rust-lang organization can mention its teams. That means rust-lang#50434 has no effect if we are still using @kennytm-githubbot.
bors added a commit that referenced this pull request May 14, 2018
[WIP — checking permission] Migrate the toolstate update bot to rust-highfive

Rationale: Only members of the rust-lang organization can mention its teams. That means #50434 has no effect if we are still using @kennytm-githubbot.
kennytm added a commit to kennytm/rust that referenced this pull request May 14, 2018
…ive, r=alexcrichton

Migrate the toolstate update bot to rust-highfive

Rationale: Only members of the rust-lang organization can mention its teams. That means rust-lang#50434 has no effect if we are still using @kennytm-githubbot.
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request May 15, 2018
…ive, r=alexcrichton

Migrate the toolstate update bot to rust-highfive

Rationale: Only members of the rust-lang organization can mention its teams. That means rust-lang#50434 has no effect if we are still using @kennytm-githubbot.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants