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.

Sign up for GitHub

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

Jump to bottom

Exceptions for bors #267

Merged
merged 2 commits into from
Dec 17, 2018
Merged

Exceptions for bors #267

merged 2 commits into from
Dec 17, 2018

Conversation

ForsakenHarmony
Copy link
Collaborator

No description provided.

@ForsakenHarmony
Copy link
Collaborator Author

bors try

bors bot added a commit that referenced this pull request Dec 10, 2018
@bors
Try #267:
5be64bb
@ForsakenHarmony
Copy link
Collaborator Author

bors r+

@bors
Copy link
Contributor

bors bot commented Dec 10, 2018

try

Timed out

bors bot added a commit that referenced this pull request Dec 10, 2018
@bors @ForsakenHarmony
Merge #267
e9a1d34 
267: Exceptions for bors r=ForsakenHarmony a=ForsakenHarmony



Co-authored-by: Leah <me@hrmny.sh>
@bors
Copy link
Contributor

bors bot commented Dec 10, 2018

Canceled

@ForsakenHarmony
Copy link
Collaborator Author

bors try

bors bot added a commit that referenced this pull request Dec 10, 2018
@bors
Try #267:
d61a96b
@bors
Copy link
Contributor

bors bot commented Dec 10, 2018

try

Build succeeded

@ForsakenHarmony
Copy link
Collaborator Author

bors r+

bors bot added a commit that referenced this pull request Dec 10, 2018
@bors @ForsakenHarmony
Merge #267
9cd4a55 
267: Exceptions for bors r=ForsakenHarmony a=ForsakenHarmony



Co-authored-by: Leah <me@hrmny.sh>
@ForsakenHarmony
Copy link
Collaborator Author

bors retry

bors bot added a commit that referenced this pull request Dec 10, 2018
@bors @ForsakenHarmony
Merge #267
b1286fc 
267: Exceptions for bors r=ForsakenHarmony a=ForsakenHarmony



Co-authored-by: Leah <me@hrmny.sh>
@ForsakenHarmony
Copy link
Collaborator Author

Ok I think it doesn't have permission to push to master

@ForsakenHarmony
Copy link
Collaborator Author

bors retry

@ForsakenHarmony
Copy link
Collaborator Author

bors r+

bors bot added a commit that referenced this pull request Dec 17, 2018
@bors @ForsakenHarmony
Merge #267
0013f24 
267: Exceptions for bors r=ForsakenHarmony a=ForsakenHarmony



Co-authored-by: Leah <me@hrmny.sh>
@bors
Copy link
Contributor

bors bot commented Dec 17, 2018

Build succeeded

@bors bors bot merged commit 79501af into master Dec 17, 2018
@bors bors bot deleted the bors branch December 17, 2018 22:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@developit developit developit approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@ForsakenHarmony @developit