Debbugs user tags

[Ludovic Courtès]

Hi Chris,

Chris Marusich <cmmarusich@gmail.com> skribis:

> Anyone who wants to help with powerpc64le-linux is, of course, more than
> welcome to coordinate and lend a hand!  I will be tagging bug reports
> specific to powerpc64le-linux with the "powerpc64le-linux" usertag, for
> the user "guix-devel@gnu.org".  You can see the open bugs tagged thusly
> here:
>
> https://debbugs.gnu.org/cgi-bin/pkgreport.cgi?tag=powerpc64le-linux;users=guix-devel@gnu.org
>
> For details on usertags, start here:
>
> https://lwn.net/Articles/150658/

Should we add some text (and conventions?) to “Tracking Bugs and
Patches” in the manual about usertags?  Sounds like it could be useful.

Thanks,
Ludo’.