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

chore(Bors) Configuring Bors-ng #36

Merged
merged 1 commit into from
Mar 16, 2018
Merged

chore(Bors) Configuring Bors-ng #36

merged 1 commit into from
Mar 16, 2018

Conversation

vonglasow
Copy link
Member

@ghost ghost assigned vonglasow Mar 6, 2018
@ghost ghost added the in progress label Mar 6, 2018
@vonglasow vonglasow requested a review from Hywan March 6, 2018 12:27
@coveralls
Copy link

coveralls commented Mar 7, 2018 •
edited
Loading

Coverage Status

Coverage remained the same at 94.845% when pulling 14e9cb8 on vonglasow:bors into 2b1c300 on hoaproject:master.

@Bhoat Bhoat merged commit 14e9cb8 into hoaproject:master Mar 16, 2018
@ghost ghost removed the in progress label Mar 16, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Pierozi Pierozi Pierozi approved these changes

@Hywan Hywan Awaiting requested review from Hywan

Assignees

@vonglasow vonglasow

Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@vonglasow @coveralls @Pierozi @Bhoat