Skip to content

Conversation

@bsiegel
Copy link
Member

@bsiegel bsiegel commented Feb 15, 2019

We don't use it. It hasn't produced a build in two years.

@bsiegel bsiegel requested a review from lmazuel as a code owner February 15, 2019 21:55
@adxsdk6
Copy link

adxsdk6 commented Feb 15, 2019

Can one of the admins verify this patch?

1 similar comment
@adxsdk6
Copy link

adxsdk6 commented Feb 15, 2019

Can one of the admins verify this patch?

@bsiegel bsiegel merged commit 1bf587b into master Feb 15, 2019
@bsiegel bsiegel deleted the update_badges branch February 15, 2019 21:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants