if [ "x$old" = "x0000000000000000000000000000000000000000" ]; then
# We're pushing into an empty repo, so we need a different command
# to get the rev list
if [ "x$old" = "x0000000000000000000000000000000000000000" ]; then
# We're pushing into an empty repo, so we need a different command
# to get the rev list