Chad has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/348870 )
Change subject: Remove delete-stale-branch: use scap clean instead ...................................................................... Remove delete-stale-branch: use scap clean instead Change-Id: I7c28d69b031d44ae857d98ef9b9f165d4c7e2eb6 --- D bin/delete-stale-branch 1 file changed, 0 insertions(+), 57 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/tools/release refs/changes/70/348870/1 diff --git a/bin/delete-stale-branch b/bin/delete-stale-branch deleted file mode 100755 index a7a0245..0000000 --- a/bin/delete-stale-branch +++ /dev/null @@ -1,57 +0,0 @@ -#!/bin/bash - -# Copyright © 2015 Mukunda Modell -# -# This program is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License along -# with this program; if not, write to the Free Software Foundation, Inc., -# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. -# http://www.gnu.org/copyleft/gpl.html -# - -# Delete a stale deployment branch, either by specifying the version number -# or "auto" to automatically pick a branch older than 5 weeks. -# This will stage symlink changes and run dsh to delete the branch remotely. - -export STALE_VERSION=$1 -cd /srv/mediawiki-staging -if [ "$1" == "" ]; then - echo "Usage: $0 [version|auto]" - echo "To delete a specific version:" - echo " delete-stale 1.25wmf22" - echo "To automatically pick a stale version, use:" - echo " delete-stale auto" - exit 1; -fi - -if [ "$STALE_VERSION" == "auto" ]; then - STALE_VERSION=`find php-* -maxdepth 0 -type d -mtime +35 | head -1` -fi - -if [ "${STALE_VERSION:0:4}" == "php-" ]; then - export STALE_VERSION="${STALE_VERSION:4}" -fi - -if [ "$STALE_VERSION" == "" ]; then - echo "Unable to determine a stale version to delete" - exit 1 -fi - -read -p "About to delete php-$STALE_VERSION. Continue? " - -multiversion/deleteMediaWiki php-$STALE_VERSION -sudo -u l10nupdate rm -rf php-$STALE_VERSION/cache/l10n/* -rm -rf php-$STALE_VERSION - -SSH_AUTH_SOCK=/run/keyholder/proxy.sock dsh -F 20 -M -g scap-masters -r ssh -o -oUser=mwdeploy -- rm -rf /srv/mediawiki/php-$STALE_VERSION -SSH_AUTH_SOCK=/run/keyholder/proxy.sock dsh -F 20 -M -g scap-proxies -r ssh -o -oUser=mwdeploy -- rm -rf /srv/mediawiki/php-$STALE_VERSION -SSH_AUTH_SOCK=/run/keyholder/proxy.sock dsh -F 20 -M -g mediawiki-installation -r ssh -o -oUser=mwdeploy -- rm -rf /srv/mediawiki/php-$STALE_VERSION -- To view, visit https://gerrit.wikimedia.org/r/348870 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I7c28d69b031d44ae857d98ef9b9f165d4c7e2eb6 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/tools/release Gerrit-Branch: master Gerrit-Owner: Chad <ch...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
