flink-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Robert Metzger <rmetz...@apache.org>
Subject Re: The 'git rev-parse HEAD' command could end up in detached HEAD state
Date Thu, 15 Jan 2015 14:45:00 GMT
Hi,
I think I remember something like this. I don't really use the tool.
Since I'm using the zsh I always know in which branch I am, so its no big
deal if the tool leaves me in a detached branch.

Maybe we can think about removing the tool from the repo .. I don't know
anybody using it.

On Thu, Jan 15, 2015 at 2:33 AM, Henry Saputra <henry.saputra@gmail.com>
wrote:

> Hi All,
>
> In the merge tool python, the command "git rev-parse HEAD"  actually
> returns you to detached HEAD state after merging PR.
>
> Anyone else seen this behavior?
>
>
> - Henry
>

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message