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)
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>
No differences found