Add new severity and text_extra options when commenting.
Review Request #11564 — Created March 30, 2021 and submitted
This introduces two new standard options for comments:
severityis a severity indicator, as provided by the tool. This can
be used to help differentiate between errors, stylistic issues, or any
other criteria offered by a tool.
text_extrais a list of tuples, each in
These are used for adding custom tool-specific information at the end
of the comment text, after any built-in ones like
Unit tests passed.
Used these in an upcoming change.