jenkins-bot has submitted this change and it was merged.
Change subject: Migrate castor-save to use /srv instead of /mnt
......................................................................
Migrate castor-save to use /srv instead of /mnt
Update: castor-save
/srv and /mnt are both mount point of the exact same filesystem.
Bug: T146381
Change-Id: Id684884eb40c893075a51bcec3a79812d48a5610
---
M jjb/castor.yaml
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/castor.yaml b/jjb/castor.yaml
index 1ae211e..9821d46 100644
--- a/jjb/castor.yaml
+++ b/jjb/castor.yaml
@@ -134,7 +134,7 @@
REMOTE_INSTANCE="${ssh_config[2]}"
# Destination in the central cache
- DEST="/mnt/jenkins-workspace/caches/${CASTOR_NAMESPACE}"
+ DEST="/srv/jenkins-workspace/caches/${CASTOR_NAMESPACE}"
echo "Ensure cache directories exist on remote $REMOTE_INSTANCE"
ssh -q -a -T \
--
To view, visit https://gerrit.wikimedia.org/r/312323
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id684884eb40c893075a51bcec3a79812d48a5610
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
