Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign upMetric for warnings #1586
Comments
This comment has been minimized.
This comment has been minimized.
|
For the case of #1585 , there is |
This comment has been minimized.
This comment has been minimized.
|
This is meant to be included for other warnings and errors in #1479 . I have updated that issue and hereby declare this one a dupe. |
beorn7
closed this
Apr 25, 2016
beorn7
added
the
duplicate
label
Apr 25, 2016
This comment has been minimized.
This comment has been minimized.
lock
bot
commented
Mar 24, 2019
|
This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs. |
lock
bot
locked and limited conversation to collaborators
Mar 24, 2019
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
RichiH commentedApr 25, 2016
•
edited
To catch #1585 and others, there should be counters for every warning and error. Optionally, having a timestamp for when a certain warning or error last happened might be useful.