diff --git a/collects/meta/drdr/scm.rkt b/collects/meta/drdr/scm.rkt index e7ebcfd0d4..6d52b4a345 100644 --- a/collects/meta/drdr/scm.rkt +++ b/collects/meta/drdr/scm.rkt @@ -230,6 +230,7 @@ (void)) (define master-branch "refs/heads/master") +(define release-branch "refs/heads/release") (define (contains-drdr-request? p) (for*/or ([c (in-list (git-push-commits p))] @@ -243,6 +244,7 @@ (let ([info (push-info rev)]) (and info (or (hash-has-key? (push-data-branches info) master-branch) + (hash-has-key? (push-data-branches info) release-branch) (contains-drdr-request? (get-scm-commit-msg rev repo)))))) rev))