git-debrebase: introduce update_head_checkout

diff --git a/git-debrebase b/git-debrebase
index c3ff3afba33178f8b4d297327838e7a0c8996af7..e73526e9e6207606df78647aa5b902e9580175da 100755 (executable)
--- a/git-debrebase
+++ b/git-debrebase
@@ -690,7 +690,14 @@ sub get_head () { return git_rev_parse qw(HEAD); }
 
 sub update_head ($$$) {
     my ($old, $new, $mrest) = @_;
-    runcmd @git, qw(update-ref -m), "git-debrebase $mrest", $new, $old;
+    runcmd @git, qw(update-ref -m), "debrebase: $mrest", 'HEAD', $new, $old;
+}
+
+sub update_head_checkout ($$$) {
+    my ($old, $new, $mrest) = @_;
+    my $symref = git_get_symref();
+    runcmd @git, qw(checkout), $new, qw(.);
+    update_head $old, $new, $mrest;
 }
 
 sub cmd_launder () {