Merge pull request #4020 from novalis/rebase-detached git_rebase_init: correctly handle detached HEAD