From c10c01e5a5eef1963d5ba7d97831e3185fb7cf30 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Mon, 2 Mar 2009 05:03:48 -0400 Subject: Removed tools/push from version control --- tools/push | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100755 tools/push (limited to 'tools/push') diff --git a/tools/push b/tools/push deleted file mode 100755 index 926f1661..00000000 --- a/tools/push +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -git push origin -git push --tags origin - -git push mirror -git push --tags mirror - -git remote update - -#github network fetch -- cgit v1.2.3