jenkins-bot has submitted this change and it was merged. Change subject: Correct directory for patch extensions ......................................................................
Correct directory for patch extensions The directory set for exporting the previous version's extension to generate the patch tarball was re-exporting the extension to the current version's directory. Change-Id: I50f359c55afece3e24fcd8121cbfdbb252aa90eb --- M make-release/make-release 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/make-release/make-release b/make-release/make-release index 244de39..f65ecbc 100755 --- a/make-release/make-release +++ b/make-release/make-release @@ -360,7 +360,7 @@ export(prevBranch, prevDir, gitRoot) for ext in getVersionExtensions(prevVersion, extensions): - exportExtension(branch, ext, package, gitRoot) + exportExtension(branch, ext, prevDir, gitRoot) makePatch(dir + '/' + package + '.patch.gz', prevDir, package, 'normal') outFiles.append(package + '.patch.gz') -- To view, visit https://gerrit.wikimedia.org/r/82749 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I50f359c55afece3e24fcd8121cbfdbb252aa90eb Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/tools/release Gerrit-Branch: master Gerrit-Owner: CSteipp <cste...@wikimedia.org> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: MarkAHershberger <mhershber...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits