Skip to content
This repository has been archived by the owner on Sep 20, 2021. It is now read-only.

chore(Bors) Configuring Bors-ng #117

Merged
merged 1 commit into from
Mar 15, 2018
Merged

chore(Bors) Configuring Bors-ng #117

merged 1 commit into from
Mar 15, 2018

Conversation

vonglasow
Copy link
Member

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

coveralls commented Mar 7, 2018 •
edited
Loading

Coverage Status

Coverage remained the same at 97.383% when pulling 1020506 on vonglasow:bors into 28174ca on hoaproject:master.

1 similar comment
@coveralls
Copy link

Coverage Status

Coverage remained the same at 97.383% when pulling 1020506 on vonglasow:bors into 28174ca on hoaproject:master.

@Bhoat Bhoat merged commit 1020506 into hoaproject:master Mar 15, 2018
@ghost ghost removed the in progress label Mar 15, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
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