diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | .mumi/config | 3 |
2 files changed, 4 insertions, 0 deletions
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")) |