From a7ed703d2d983b0b7fd796fba60a2592e9edd262 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Wed, 15 Jun 2016 15:55:08 -0400 Subject: remove non-tool stuff --- misc/git-shell-commands/fetch-mirrors | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 misc/git-shell-commands/fetch-mirrors (limited to 'misc/git-shell-commands/fetch-mirrors') diff --git a/misc/git-shell-commands/fetch-mirrors b/misc/git-shell-commands/fetch-mirrors deleted file mode 100755 index 15bf9c4..0000000 --- a/misc/git-shell-commands/fetch-mirrors +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh -# * fetch-mirrors -# Actualiza el `mirrors` (espejos) creados con `mirror` -# ssh git@host fetch-mirrors - -set -e - -# Find all mirrors -"$(dirname "$0")"/mirrors | while read -r mirror; do - pushd "$mirror" >/dev/null - git remote update - popd >/dev/null -done -- cgit v1.2.3-54-g00ecf