From: ajt <>
Date: Thu, 6 Oct 2005 13:53:42 +0000 (-0800)
Subject: [project @ 2005-10-06 06:53:42 by ajt]
X-Git-Tag: release/2.6.0~642
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=59103d731b4f223ebfa079835f1654f2d6d0c3c5;p=debbugs.git
[project @ 2005-10-06 06:53:42 by ajt]
add some docs for usertags
---
diff --git a/html/server-refcard.html.in b/html/server-refcard.html.in
index dab14728..ed83f893 100644
--- a/html/server-refcard.html.in
+++ b/html/server-refcard.html.in
@@ -33,6 +33,8 @@ sending the word help
to each mailserver.
getinfo
filename (see below)
help
refcard
+ user
email
+ usertag
bugnumber [+-=] tag ...
quit
|stop
|thank
...|--
...
#
... (comment)
debug
level
diff --git a/html/server-request.html.in b/html/server-request.html.in
index dcf57b5a..f7f78365 100644
--- a/html/server-request.html.in
+++ b/html/server-request.html.in
@@ -103,6 +103,35 @@ server.
user
email
+
+ usertag
bugnumber [ +
| -
| =
] tag [ tag ... ]
+
+ +
means
+ to add each given tag, -
means to remove
+ each given tag, and =
means to ignore the
+ current tags and set them afresh to the list provided. The default
+ action is adding.
+
+ Example usage:
+ ++ # same as 'tags 123456 + patch' + usertag 123456 patch + + # same as 'tags 123456 + help security' + usertag 123456 help security ++ +
The meaning of usertags is decided by the owner of the email address + they are associated with. +
help