From 3d0acf4f71716fc24ceab1abf384116a1831d88d Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Mon, 7 Oct 2013 09:16:54 -0600 Subject: [PATCH] Different email addr for nobody --- pkgs/plt-services/meta/drdr/analyze.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/plt-services/meta/drdr/analyze.rkt b/pkgs/plt-services/meta/drdr/analyze.rkt index f2b2a5a17c..a16595ff0a 100644 --- 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