jenkins-bot has submitted this change and it was merged.
Change subject: make-release: don't bother creating patch dir, who cares if
it's gone
......................................................................
make-release: don't bother creating patch dir, who cares if it's gone
Change-Id: I922f0024c9e45aaadcd1bf8bd048543b6a9c9a8e
---
M make-release/make-release.py
1 file changed, 0 insertions(+), 3 deletions(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-release/make-release.py b/make-release/make-release.py
index d76dc0a..1c6dfd2 100755
--- a/make-release/make-release.py
+++ b/make-release/make-release.py
@@ -551,9 +551,6 @@
if not os.path.exists(uploadDir):
logging.debug('Creating uploads dir: %s', uploadDir)
os.mkdir(uploadDir)
- if not os.path.exists(patchDir):
- logging.debug('Creating patch directory: %s', patchDir)
- os.mkdir(patchDir)
os.chdir(buildDir)
--
To view, visit https://gerrit.wikimedia.org/r/322030
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I922f0024c9e45aaadcd1bf8bd048543b6a9c9a8e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
