jenkins-bot has submitted this change and it was merged. ( 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(-) Approvals: Thcipriani: Looks good to me, approved jenkins-bot: Verified 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: merged Gerrit-Change-Id: I3fdc7717317396521062724ac6a7ea2cdcfab96a Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Thcipriani <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> Gerrit-Reviewer: Paladox <[email protected]> Gerrit-Reviewer: Thcipriani <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
