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

Link stale bot to its tracking issue #6036

Merged
merged 2 commits into from
Sep 16, 2018

Conversation

dwijnand
Copy link
Member

Refs #6035

@rust-highfive
Copy link

r? @matklad

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

@alexcrichton
Copy link
Member

@bors: r+

@bors
Copy link
Contributor

bors commented Sep 16, 2018

📌 Commit bf63c8b has been approved by alexcrichton

@bors
Copy link
Contributor

bors commented Sep 16, 2018

⌛ Testing commit bf63c8b with merge bd0d2c421bc63e8d165f0a52468011b6a0b56942...

@alexcrichton
Copy link
Member

@bors: r+

@bors
Copy link
Contributor

bors commented Sep 16, 2018

📌 Commit 6c8c78c has been approved by alexcrichton

@bors
Copy link
Contributor

bors commented Sep 16, 2018

⌛ Testing commit 6c8c78c with merge 010710b...

bors added a commit that referenced this pull request Sep 16, 2018
…excrichton

Link stale bot to its tracking issue

Refs #6035
@bors
Copy link
Contributor

bors commented Sep 16, 2018

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

@bors bors merged commit 6c8c78c into rust-lang:master Sep 16, 2018
@dwijnand dwijnand deleted the link-stale-bot-to-tracking-issue branch September 16, 2018 21:28
@ehuss ehuss added this to the 1.31.0 milestone Feb 6, 2022
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.

6 participants