Hello, On Fri 03 May 2019 at 11:10AM +01, Ian Jackson wrote:
> While you're at it, I don't suppose you fancy implementing an option > to automatically detach HEAD at the source, if necessary ? In > practice it is often the case that the branch to be moved is HEAD at > the source. (I don't think detaching HEAD can be done to a non-shell > remote since there's no way to modify a symref ...) Well, indeed, I don't think that can be done for remotes in general. So this option would only be usable for 'put', and for the case of a shell remote, the latter of which would require reimplementing all the old git-branchmove logic back into my script. I'm inclined to think that I'd rather be prompted to manually switch the branch that's checked out rather than have the repo left in a basically useless detached HEAD state, but I'll see how I go on with everyday usage. -- Sean Whitton
signature.asc
Description: PGP signature
