jenkins-bot has submitted this change and it was merged.
Change subject: Remove DOLOGMSGNOLOG, support is being removed anyway
......................................................................
Remove DOLOGMSGNOLOG, support is being removed anyway
Change-Id: I81d4c9aa949a324a893137dce239889fef461af9
---
M bin/delete-stale-branch
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
20after4: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/delete-stale-branch b/bin/delete-stale-branch
index d37b901..a7a0245 100755
--- a/bin/delete-stale-branch
+++ b/bin/delete-stale-branch
@@ -23,7 +23,6 @@
# This will stage symlink changes and run dsh to delete the branch remotely.
export STALE_VERSION=$1
-DOLOGMSGNOLOG=1
cd /srv/mediawiki-staging
if [ "$1" == "" ]; then
echo "Usage: $0 [version|auto]"
--
To view, visit https://gerrit.wikimedia.org/r/316803
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I81d4c9aa949a324a893137dce239889fef461af9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: 20after4 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
