Generate pack info file after repack.
authorJunio C Hamano <junkio@cox.net>
Wed, 24 Aug 2005 17:40:58 +0000 (10:40 -0700)
committerJunio C Hamano <junkio@cox.net>
Wed, 24 Aug 2005 17:40:58 +0000 (10:40 -0700)
commitccf1ee327f9a7d51704578fa41ba255abfd3a730
treed4413df35e7946d47678dbd061efbb89196a0e4c
parent0d6a873cfe4ba9428cf361c633faf701cadc04b8
Generate pack info file after repack.

Pulling from a packed repository over dumb transport without the
server info file fails, so run update-server-info automatically
after a repack by default.  This can be disabled with the '-n'
flag.

Signed-off-by: Junio C Hamano <junkio@cox.net>
git-repack-script