Skip to content

Conversation

@carols10cents
Copy link
Member

We've been using rust-lang's bors since
2019-01
and just never removed the references to bors-ng, oops

We've been using rust-lang's bors since
[2019-01](rust-lang/rust-central-station#124)
and just never removed the references to bors-ng, oops
@rust-highfive
Copy link

r? @smarnach

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

Copy link
Member

@weihanglo weihanglo left a comment

Choose a reason for hiding this comment

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

LGTM!

@smarnach
Copy link
Contributor

LGTM.

@bors r+

@bors
Copy link
Contributor

bors commented Dec 12, 2019

📌 Commit 88ba973 has been approved by smarnach

@bors
Copy link
Contributor

bors commented Dec 12, 2019

⌛ Testing commit 88ba973 with merge d05c351...

bors added a commit that referenced this pull request Dec 12, 2019
Remove bors-ng config; we now use rust-lang's main bors

We've been using rust-lang's bors since
[2019-01](rust-lang/rust-central-station#124)
and just never removed the references to bors-ng, oops
@bors
Copy link
Contributor

bors commented Dec 12, 2019

☀️ Test successful - checks-travis
Approved by: smarnach
Pushing d05c351 to master...

@bors bors merged commit 88ba973 into rust-lang:master Dec 12, 2019
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.

5 participants