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 #31

Merged
merged 1 commit into from
Mar 16, 2018
Merged

chore(Bors) Configuring Bors-ng #31

merged 1 commit into from
Mar 16, 2018

Conversation

vonglasow
Copy link
Member

@vonglasow vonglasow requested a review from Hywan March 6, 2018 12:18
@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

Coverage Status

Coverage remained the same at 87.603% when pulling fecf735 on vonglasow:bors into 8fbcce0 on hoaproject:master.

@Bhoat Bhoat merged commit fecf735 into hoaproject:master Mar 16, 2018
@ghost ghost removed the in progress label Mar 16, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

4 participants