Different email addr for nobody

2013-10-07 09:16:54 -06:00 · 2013-10-07 09:16:54 -06:00 · 3d0acf4f71
commit 3d0acf4f71
parent 1e5ade627b
1 changed files with 3 additions and 1 deletions
--- a/pkgs/plt-services/meta/drdr/analyze.rkt
+++ b/pkgs/plt-services/meta/drdr/analyze.rkt
@ -138,7 +138,9 @@
    (for/list ([(responsible ht) (in-hash responsible-ht)]
               #:when (ormap (curry hash-has-key? ht)
                             (take responsible-ht-severity 3)))
-      responsible))
+      (match responsible
+        ["nobody" "drdr-nobody"]
+        [x x])))
  (define committer
    (with-handlers ([exn:fail? (lambda (x) #f)])
      (scm-commit-author