jenkins-bot has submitted this change and it was merged. Change subject: Deprecate generate-version; this is done by our deployment scripts. ......................................................................
Deprecate generate-version; this is done by our deployment scripts. Change-Id: I7e2181ccc401c9cc569b06d6ccc857e0124159ae TODO: The source_version thing should be done via a custom hook. --- D bin/generate-version 1 file changed, 0 insertions(+), 10 deletions(-) Approvals: Ejegg: Looks good to me, approved jenkins-bot: Verified diff --git a/bin/generate-version b/bin/generate-version deleted file mode 100755 index 5d25ca3..0000000 --- a/bin/generate-version +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -# -# This script can be run manually, to populate the .version-stamp file. -# -# If the version is not found at runtime, the string "unknown" is used instead. - -dest="$(dirname $0)/../.version-stamp" -head_rev=$(git rev-parse --verify HEAD) - -echo -n "$head_rev" > $dest -- To view, visit https://gerrit.wikimedia.org/r/296751 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7e2181ccc401c9cc569b06d6ccc857e0124159ae Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/DonationInterface Gerrit-Branch: master Gerrit-Owner: Awight <[email protected]> Gerrit-Reviewer: AndyRussG <[email protected]> Gerrit-Reviewer: Cdentinger <[email protected]> Gerrit-Reviewer: Ejegg <[email protected]> Gerrit-Reviewer: Ssmith <[email protected]> Gerrit-Reviewer: XenoRyet <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
