[Pkg-ocaml-maint-commits] [coq] 01/03: New sid/* branches

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to annotated tag debian/8.4pl4dfsg-2
in repository coq.

commit ab9ecfcac7b7c78e4ba84ddbfb36c86020f6b7e3
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Oct 13 17:24:52 2015 +0200

    New sid/* branches
---
 debian/gbp.conf | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/gbp.conf b/debian/gbp.conf
index 126a7b7..c02e2f7 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -16,3 +16,5 @@ filter = [
     "doc/rt",
     "doc/tools",
     "doc/tutorial" ]
+debian-branch = sid/master
+upstream-branch = sid/upstream

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git