Check the new tree, not the public one

diff --git a/config/debian/dinstall.functions b/config/debian/dinstall.functions
index 334d5e4618f723c957b9da81876d438ecd7d7135..4440f512b4818bd6fa94abc36a97eb0e1284a1d0 100644 (file)
--- a/config/debian/dinstall.functions
+++ b/config/debian/dinstall.functions
@@ -496,7 +496,7 @@ function mirrorpush() {
         log "... archive: ${archive}"
         archiveroot="$(get_archiveroot "${archive}")"
         targetpath="${mirrordir}/${archive}"
-        cd ${targetpath}/dists
+        cd ${archiveroot}/dists
 
         broken=0
         for release in $(find . -name "InRelease"); do