flink-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Alexander Alexandrov <alexander.s.alexand...@gmail.com>
Subject Re: The 'git rev-parse HEAD' command could end up in detached HEAD state
Date Thu, 15 Jan 2015 16:41:25 GMT
+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