From 23f11afacdfe755ffa514a8cbf93ba1121b9db0d Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Mon, 24 Apr 2023 15:25:40 +0100 Subject: [PATCH] Add mumi config. * .mumi/config: New file. * .gitignore: Add .mumi/current-issue. --- .gitignore | 1 + .mumi/config | 3 +++ 2 files changed, 4 insertions(+) create mode 100644 .mumi/config diff --git a/.gitignore b/.gitignore index 34414d1e95..543dc1c655 100644 --- a/.gitignore +++ b/.gitignore @@ -159,3 +159,4 @@ tmp /gnu/packages/aux-files/guile-guile-launcher.o /guile .DS_Store +.mumi/current-issue \ No newline at end of file diff --git a/.mumi/config b/.mumi/config new file mode 100644 index 0000000000..6823e1c425 --- /dev/null +++ b/.mumi/config @@ -0,0 +1,3 @@ +((debbugs-host . "debbugs.gnu.org") + (patch-email-address . "guix-patches@gnu.org") + (mumi-host . "issues.guix.gnu.org"))