From 3f7b9a46755c7903dc1c2a6a72b0375f84933ad7 Mon Sep 17 00:00:00 2001
From: Joerg Jaspert <joerg@debian.org>
Date: Sat, 2 Apr 2016 15:03:52 +0200
Subject: [PATCH] Implement mirrorpush-release function

---
 config/debian/dinstall.functions | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/config/debian/dinstall.functions b/config/debian/dinstall.functions
index 2172eaea..f0acb683 100755
--- a/config/debian/dinstall.functions
+++ b/config/debian/dinstall.functions
@@ -606,6 +606,11 @@ function mirrorpush-backports() {
     sudo -u backports /home/backports/bin/update-archive
 }
 
+function mirrorpush-release() {
+    log "Pushing cdbuilder host"
+    sudo -H -u archvsync /home/archvsync/runmirrors release > ~dak/runmirrors-release.log 2>&1 &
+}
+
 function i18n2() {
     log "Exporting package data foo for i18n project"
     STAMP=$(date "+%Y%m%d%H%M")
-- 
2.39.5