Rush has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/399223 )
Change subject: dumps: add wikidata-primary-sources-tool mount ...................................................................... dumps: add wikidata-primary-sources-tool mount Bug: T183229 Change-Id: Id5858cfbec3d55610ef6e8249f425d86c1b615a3 --- M modules/labstore/files/nfs-mounts.yaml 1 file changed, 4 insertions(+), 0 deletions(-) Approvals: Rush: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/labstore/files/nfs-mounts.yaml b/modules/labstore/files/nfs-mounts.yaml index ef88c2b..8be6c44 100644 --- a/modules/labstore/files/nfs-mounts.yaml +++ b/modules/labstore/files/nfs-mounts.yaml @@ -35,6 +35,10 @@ gid: 50116 mounts: project: true + wikidata-primary-sources-tool + gid: 53586 + mounts: + dumps: true wikidata-query: gid: 52354 mounts: -- To view, visit https://gerrit.wikimedia.org/r/399223 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id5858cfbec3d55610ef6e8249f425d86c1b615a3 Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Rush <r...@wikimedia.org> Gerrit-Reviewer: Rush <r...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits