rebase: prepare to do generic housekeeping
commitf5f758a5df470352ed46863288551f25fe9c7ea7
authorRamkumar Ramachandra <artagnon@gmail.com>
Sun, 12 May 2013 11:56:37 +0000 (12 17:26 +0530)
committerJunio C Hamano <gitster@pobox.com>
Mon, 13 May 2013 06:20:07 +0000 (12 23:20 -0700)
tree0d84aecea496c0b5cbdab292e7ac260d6d1600a3
parent1224f3d0f1b47fc640e76b053f25d91e3ca84bcf
rebase: prepare to do generic housekeeping

On successful completion of a rebase in git-rebase--$backend.sh, the
$backend script cleans up on its own and exits.  The cleanup routine
is however, independent of the $backend, and each $backend script
unnecessarily duplicates this work:

    rm -rf "$state_dir"
    git gc --auto

Prepare git-rebase.sh for later patches that return control from each
$backend script back to us, for performing this generic cleanup
routine.  The code that this patch adds is currently unreachable, and
will only start to be used when git-rebase--$backend.sh scripts are
taught to return control in later patches.

Another advantage is that git-rebase.sh can implement a generic
finish_rebase() to possibly do additional tasks in addition to the
cleanup.

Signed-off-by: Ramkumar Ramachandra <artagnon@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
git-rebase.sh