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

Merged
merged 1 commit into from
Mar 16, 2018
Merged

chore(Bors) Configuring Bors-ng #32

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:15
@coveralls
Copy link

coveralls commented Mar 7, 2018

Coverage Status

Coverage remained the same at ?% when pulling 0c74b9d on vonglasow:bors into 6e95f73 on hoaproject:master.

@Bhoat Bhoat merged commit 0c74b9d 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