jenkins-bot has submitted this change and it was merged. Change subject: Revert to #!/usr/bin/env bash ......................................................................
Revert to #!/usr/bin/env bash Change-Id: If250f4ae9f5e826cb6859fc24bea5b12471662be --- M bin/generateDocs.sh 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Santhosh: Looks good to me, approved jenkins-bot: Verified diff --git a/bin/generateDocs.sh b/bin/generateDocs.sh index 7fd1b24..d18625c 100755 --- a/bin/generateDocs.sh +++ b/bin/generateDocs.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e -- To view, visit https://gerrit.wikimedia.org/r/122709 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If250f4ae9f5e826cb6859fc24bea5b12471662be Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/cxserver Gerrit-Branch: master Gerrit-Owner: KartikMistry <[email protected]> Gerrit-Reviewer: Divec <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: Santhosh <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
