gc.sh: update server info when triggering a full gc
commita90ce1bcd27f977927b3ceafefa9616c403613b2
authorKyle J. McKay <mackyle@gmail.com>
Wed, 13 Dec 2017 01:58:41 +0000 (12 17:58 -0800)
committerKyle J. McKay <mackyle@gmail.com>
Wed, 13 Dec 2017 01:58:41 +0000 (12 17:58 -0800)
tree97d8db48a049aa4419f2c002cc51d273c6acf4e2
parentaf1a8bbe9c2906c4834fb35a93e94a16289cbf50
gc.sh: update server info when triggering a full gc

When a "mini" garbage collection ends up triggering a full garbage
collection, make sure to run "git update-server-info" so as not to
accidentally leave that information out of date.

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
jobd/gc.sh