-
-
Notifications
You must be signed in to change notification settings - Fork 2.8k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove david-dm
badge from README
#3262
Conversation
It’s not working right now, but that’s not the same thing as no longer available. Can you elaborate? |
It's been down for months, and there's no indication that the service is coming back. See alanshaw/david#182 |
It'd still be nice to keep this open, once we hear back from Alan. |
👍 I just reopened it. I'll try to fix the merge conflict this evening. |
Codecov Report
@@ Coverage Diff @@
## master #3262 +/- ##
=========================================
Coverage ? 97.71%
=========================================
Files ? 123
Lines ? 8788
Branches ? 3190
=========================================
Hits ? 8587
Misses ? 201
Partials ? 0 Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I suppose we can always re-add if the service comes back.
The
david-dm
service is no longer available, so this badge can be removed from theREADME
.