The dev server only does dev builds, so remove the dev server's so-called prod (aka...

diff --git a/debian/changelog b/debian/changelog
index 3dcbe10..bff1ef8 100644 (file)
--- 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 <geofft@mit.edu>  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 (file)
--- 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