Chad has uploaded a new change for review.
https://gerrit.wikimedia.org/r/316803
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(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/tools/release
refs/changes/03/316803/1
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: newchange
Gerrit-Change-Id: I81d4c9aa949a324a893137dce239889fef461af9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits