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

Create ISSUE_TEMPLATE.md #523

Merged
merged 1 commit into from Feb 18, 2017
Merged

Conversation

fitzgen
Copy link
Member

@fitzgen fitzgen commented Feb 17, 2017

Github will automatically fill this in when people file new issues.

New PR because apparently I can't push to servo anymore... I think this is the same issue as with tags...

Github will automatically fill this in when people file new issues.
@fitzgen
Copy link
Member Author

fitzgen commented Feb 17, 2017

@bors-servo r=emilio (on irc yesterday)

@bors-servo
Copy link

📌 Commit 39391a4 has been approved by emilio

@bors-servo
Copy link

⌛ Testing commit 39391a4 with merge 4242d2c...

bors-servo pushed a commit that referenced this pull request Feb 17, 2017
Create ISSUE_TEMPLATE.md

Github will automatically fill this in when people file new issues.

New PR because apparently I can't push to servo anymore... I think this is the same issue as with tags...
@fitzgen fitzgen mentioned this pull request Feb 17, 2017
@bors-servo
Copy link

💔 Test failed - status-travis

@fitzgen
Copy link
Member Author

fitzgen commented Feb 17, 2017

@bors-servo retry

Looks like OSX capacity issues.

@fitzgen
Copy link
Member Author

fitzgen commented Feb 17, 2017

@bors-servo r-

@fitzgen
Copy link
Member Author

fitzgen commented Feb 17, 2017

@bors-servo r=emilio

@bors-servo
Copy link

📌 Commit 39391a4 has been approved by emilio

@bors-servo
Copy link

⌛ Testing commit 39391a4 with merge 16f3c30...

bors-servo pushed a commit that referenced this pull request Feb 17, 2017
Create ISSUE_TEMPLATE.md

Github will automatically fill this in when people file new issues.

New PR because apparently I can't push to servo anymore... I think this is the same issue as with tags...
@bors-servo
Copy link

💔 Test failed - status-travis

@fitzgen
Copy link
Member Author

fitzgen commented Feb 18, 2017

@bors-servo retry

@bors-servo
Copy link

⌛ Testing commit 39391a4 with merge 99974ad...

bors-servo pushed a commit that referenced this pull request Feb 18, 2017
Create ISSUE_TEMPLATE.md

Github will automatically fill this in when people file new issues.

New PR because apparently I can't push to servo anymore... I think this is the same issue as with tags...
@bors-servo
Copy link

☀️ Test successful - status-travis
Approved by: emilio
Pushing 99974ad to master...

@bors-servo bors-servo merged commit 39391a4 into rust-lang:master Feb 18, 2017
@fitzgen fitzgen deleted the issue-template branch February 18, 2017 04:17
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.

None yet

4 participants