git-push: remove obsolete git-push.sh
authorJeff King <peff@peff.net>
Wed, 2 Aug 2006 15:37:42 +0000 (11:37 -0400)
committerJunio C Hamano <junkio@cox.net>
Wed, 2 Aug 2006 18:31:03 +0000 (11:31 -0700)
commitec19a22b74d39da1bf22e10acadc7f712a4976c5
tree38d3aa68c59d4f938bca32299156467013c66fa0
parent8f615493e6b6fd47bc4011c264cb7e6f01052d37
git-push: remove obsolete git-push.sh

This was converted to a C builtin over three months ago.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
git-push.sh [deleted file]