diff options
Diffstat (limited to 'Documentation/dev-stars.txt')
| -rw-r--r-- | Documentation/dev-stars.txt | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Documentation/dev-stars.txt b/Documentation/dev-stars.txt index 553ac5b0cf..a83ad449ee 100644 --- a/Documentation/dev-stars.txt +++ b/Documentation/dev-stars.txt @@ -61,6 +61,25 @@ request. They can then decide to remove the ignore star. The ignore star is represented by the special star label 'ignore'. +[[reviewed-star]] +== Reviewed Star + +If the "reviewed/<patchset_id>"-star is set by a user, and <patchset_id> +matches the current patch set, the change is always reported as "reviewed" +in the ChangeInfo. + +This allows users to "de-highlight" changes in a dashboard until a new +patchset has been uploaded. + +[[unreviewed-star]] +== Unreviewed Star + +If the "unreviewed/<patchset_id>"-star is set by a user, and <patchset_id> +matches the current patch set, the change is always reported as "unreviewed" +in the ChangeInfo. + +This allows users to "highlight" changes in a dashboard. + [[query-stars]] == Query Stars |