We should beware of GitHub issues They
- cannot be deleted (useful for spam)
- cannot be private (may be useful for security bugs)
However the past history suggests we'll rarely deal with such cases.
We should beware of GitHub issues They
However the past history suggests we'll rarely deal with such cases.