Should have sent it to debian-boot, too.
> Hi, > > > There's still a local modification on dillon, fwiw: > > > > > diff --git a/scripts/etc/cron/crontab b/scripts/etc/cron/crontab > > > index 318ace8d18..967422523c 100644 > > > --- a/scripts/etc/cron/crontab > > > +++ b/scripts/etc/cron/crontab > > > @@ -10,6 +10,7 @@ WWW=/srv/d-i.debian.org/www > > > MANUAL-DAILY=$DI/scripts/manual-daily > > > DAILY_IMAGES_DIR=/srv/d-i.debian.org/www/daily-images > > > DAILY_LOGS_DIR=/home/d-i/daily-build-logs.git > > > +DI_MANUAL_DAILY=/home/d-i/d-i_manual.daily > > > > > > #00 1 * * * cd $DI/scripts; git pull; ./daily-build-aggregator > > > $WWW/daily-images/build-logs ; ~/bin/push-www > > > #05 * * * * cd $DI/scripts; git pull; ./daily-build-manager sync-logs > > > $DAILY_IMAGES_DIR $DAILY_LOGS_DIR; cd $DAILY_LOGS_DIR; git push -q origin > > > HEAD > > > @@ -26,6 +27,7 @@ DAILY_LOGS_DIR=/home/d-i/daily-build-logs.git > > > #0 22 * * * cd $DI; mr -q up ; nice -n 19 $DI/scripts/l10n/l10n-sync > > > --levels=5 --online --commit $DI > > > > > > #0 23 * * * cd $DI/installation-guide && git pull ; cd build && > > > destination=$WWW/manual ./build.sh >/dev/null ; ~/bin/push-www > > > +0 23 * * * cd $DI_MANUAL_DAILY/ ; nice -n 19 bin/build-manual ; > > > ~/bin/push-www > > > > > > #55 2 * * * cd $MANUAL-DAILY; && ./build-di-int >/dev/null ; > > > ~/bin/push-www > > Kind regards > > Philipp Kern > > That's me. > Just introduced during the weekend. > See > https://lists.debian.org/debian-boot/2018/07/msg00097.html > > Holger -- Sent from my Jolla phone http://www.jolla.com/