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

Merged
merged 1 commit into from Mar 16, 2018
Merged

chore(Bors) Configuring Bors-ng #44

merged 1 commit into from Mar 16, 2018

Conversation

vonglasow
Copy link
Member

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

Coverage Status

Coverage remained the same at 100.0% when pulling 41ae5fe on vonglasow:bors into 5be09b6 on hoaproject:master.

4 similar comments
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 41ae5fe on vonglasow:bors into 5be09b6 on hoaproject:master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 41ae5fe on vonglasow:bors into 5be09b6 on hoaproject:master.

@coveralls
Copy link

coveralls commented Mar 7, 2018 •
edited

Coverage Status

Coverage remained the same at 100.0% when pulling 41ae5fe on vonglasow:bors into 5be09b6 on hoaproject:master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 41ae5fe on vonglasow:bors into 5be09b6 on hoaproject:master.

@Bhoat Bhoat merged commit 41ae5fe 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.
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.

None yet
4 participants
@vonglasow @coveralls @Pierozi @Bhoat