updates to issues.guix.gnu.org

[Ricardo Wurmus]

Hi Guix,

I’ve just updated mumi on issues.guix.gnu.org.  The new version is quite
a bit faster and features a more accurate search.

This is accomplished by storing essential bug information (such as
submitter, owner, status, and tags) locally in a sqlite database in
addition to indexing all original emails that are downloaded from
Debbugs.  The search no longer issues a complicated request to Debbugs.
Instead it is performed on the local message index, and any filtering
based on information not contained in the email messages (like
submitter, owner, status, and tags) is perfomed using the sqlite
database.

This is not perfect and a few slow Debbugs operations still remain, but
in general issues.guix.gnu.org should be much more usable now.

The code is here and I appreciate patches to improve it:

    https://git.elephly.net/software/mumi.git

--
Ricardo