From acc95cbb5667942b8c5e2cb340f1777d35bc24b0 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Mon, 9 Jan 2012 15:33:33 -0700 Subject: [PATCH] Release branch --- collects/meta/drdr/scm.rkt | 2 ++ 1 file changed, 2 insertions(+) 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))