flink-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Fabian Hueske <fhue...@gmail.com>
Subject Re: The 'git rev-parse HEAD' command could end up in detached HEAD state
Date Thu, 15 Jan 2015 17:53:44 GMT
Same here
On Jan 15, 2015 5:44 PM, "Alexander Alexandrov" <
alexander.s.alexandrov@gmail.com> wrote:

> +1 for "git rebase"
>
> 2015-01-15 17:39 GMT+01:00 Aljoscha Krettek <aljoscha@apache.org>:
>
> > No, I always do a manual "git rebase". Makes for a cleaner history. And I
> > have more control over how things are merged and squashed.
> > On Jan 15, 2015 5:27 PM, "Henry Saputra" <henry.saputra@gmail.com>
> wrote:
> >
> > > Oh, so you guys do not use the tools/merge_pull_request.sh script to
> > merge
> > > PRs?
> > >
> > >
> > > - Henry
> > >
> > > On Thu, Jan 15, 2015 at 6:45 AM, Robert Metzger <rmetzger@apache.org>
> > > wrote:
> > > > 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