Re: [PATCH] Switch from /org to /srv in directory configuration

Ta. Applied here and similar changes in other config too... On Sat, Jun 17, 2017 at 02:48:42PM +0800, Paul Wise wrote: >/org has been obsoleted by /srv for many years on debian.org hosts. >--- > contrib/jigdo-watcher | 10 +- > contrib/report_build_error | 2 +- > update-cd

[PATCH] Switch from /org to /srv in directory configuration

/org has been obsoleted by /srv for many years on debian.org hosts. --- contrib/jigdo-watcher | 10 +- contrib/report_build_error | 2 +- update-cd | 8 3 files changed, 10 insertions(+), 10 deletions(-) diff --git a/contrib/jigdo-watcher b/contrib/jigdo-w