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

Merged
merged 1 commit into from
Mar 16, 2018
Merged

chore(Bors) Configuring Bors-ng #22

merged 1 commit into from
Mar 16, 2018

Conversation

vonglasow
Copy link
Member

@vonglasow vonglasow requested a review from Hywan March 6, 2018 12:34
@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 33.333% when pulling 53e4d26 on vonglasow:bors into 1522f74 on hoaproject:master.

3 similar comments
@coveralls
Copy link

Coverage Status

Coverage remained the same at 33.333% when pulling 53e4d26 on vonglasow:bors into 1522f74 on hoaproject:master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 33.333% when pulling 53e4d26 on vonglasow:bors into 1522f74 on hoaproject:master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 33.333% when pulling 53e4d26 on vonglasow:bors into 1522f74 on hoaproject:master.

@Bhoat Bhoat merged commit 53e4d26 into hoaproject:master Mar 16, 2018
@ghost ghost removed the in progress label Mar 16, 2018
@vonglasow vonglasow deleted the bors branch March 21, 2018 12:34
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