From 81f3accc68450b1592b249f2a4bb388978d413e2 Mon Sep 17 00:00:00 2001 From: Geoffrey Thomas Date: Sat, 9 Mar 2013 15:16:35 -0800 Subject: [PATCH] The dev server only does dev builds, so remove the dev server's so-called prod (aka stable) pocket. --- debian/changelog | 7 +++++++ master.yaml | 4 ---- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/debian/changelog b/debian/changelog index 3dcbe10..bff1ef8 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +xvm-devconfig (0.77) unstable; urgency=low + + * The dev server only does dev builds, so remove the dev server's + so-called prod (aka stable) pocket. + + -- Geoffrey Thomas Sat, 09 Mar 2013 15:09:03 -0800 + xvm-devconfig (0.76) unstable; urgency=low * Package invirt.list once more, and add the xvm-dev apt repo diff --git a/master.yaml b/master.yaml index 0b1d191..e38d11d 100644 --- a/master.yaml +++ b/master.yaml @@ -27,10 +27,6 @@ authz: build: mirror: true pockets: - prod: - acl: system:xvm-root - apt: stable - distro: hardy dev: acl: system:xvm-dev apt: unstable -- 1.7.9.5