Hi zimoun,
>> This is a great idea. I guess we will need to adjust the software that >> runs issues.guix.gnu.org to make use of it, but in the meantime you >> should keep using this tag. Thanks! > > Indeed, Mumi does not expose such user tags. Well, it could be very > useful if such tags would be available via GraphQL requests. > > Arun, Ricardo, do you think it is affordable? I haven't explored debbugs' usertags closely yet, and I'm not sure how exactly it works. But, usertags are certainly the way to go forward. Maybe, a quick way to start would be to start setting usertags through the existing debbugs email interface, and getting mumi to display them at https://issues.guix.gnu.org Cheers, Arun
