jenkins-bot has submitted this change and it was merged.
Change subject: dib: move repo mirroring after debootstrap
......................................................................
dib: move repo mirroring after debootstrap
debootstrap cache the root in a tarball and reuse it whenever invoked
with DIB_DEBIAN_USE_DEBOOTSTRAP_CACHE . That causes it to override the
mirrored repos.
Move mirror-gerrit-repos after the debootstrap to prevent refreshed
mirrors to be overriden by the cached tarball.
Change-Id: If8188aa333d579bf650fd38be0c02cea931e172f
---
R dib/elements/wikimedia/root.d/09-mirror-gerrit-repos
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dib/elements/wikimedia/root.d/01-mirror-gerrit-repos
b/dib/elements/wikimedia/root.d/09-mirror-gerrit-repos
similarity index 96%
rename from dib/elements/wikimedia/root.d/01-mirror-gerrit-repos
rename to dib/elements/wikimedia/root.d/09-mirror-gerrit-repos
index 5af0719..0727aaf 100755
--- a/dib/elements/wikimedia/root.d/01-mirror-gerrit-repos
+++ b/dib/elements/wikimedia/root.d/09-mirror-gerrit-repos
@@ -3,6 +3,7 @@
#
# Populate git repositories on the building host
#
+# Should happen after 08-debootstrap which cache the root.d
if [ ${DIB_DEBUG_TRACE:-0} -gt 0 ]; then
set -x
--
To view, visit https://gerrit.wikimedia.org/r/258142
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If8188aa333d579bf650fd38be0c02cea931e172f
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
