Thcipriani has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/391574 )
Change subject: Remove now unused prebuild.sh ...................................................................... Remove now unused prebuild.sh Change-Id: I3fdc7717317396521062724ac6a7ea2cdcfab96a --- D dockerfiles/operations-puppet/prebuild.sh 1 file changed, 0 insertions(+), 9 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/integration/config refs/changes/74/391574/1 diff --git a/dockerfiles/operations-puppet/prebuild.sh b/dockerfiles/operations-puppet/prebuild.sh deleted file mode 100755 index bc5ff61..0000000 --- a/dockerfiles/operations-puppet/prebuild.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash - -set -e - -# This is copied in Dockerfile to ensure that a build step grabs a fresh -# copy of the git repo when it is updated rather than using a layer from -# the local Docker cache. - -git ls-remote --exit-code https://gerrit.wikimedia.org/r/p/operations/puppet.git refs/heads/production > .cache-buster-operations-puppet -- To view, visit https://gerrit.wikimedia.org/r/391574 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I3fdc7717317396521062724ac6a7ea2cdcfab96a Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Thcipriani <tcipri...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits