This is the mail archive of the gdb@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Patchwork patch tracking system


> Date: Wed, 21 May 2014 11:23:49 -0700
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: Pedro Alves <palves@redhat.com>, tromey@redhat.com, gbenson@redhat.com,
> 	stanshebs@earthlink.net, gdb@sourceware.org
> 
> > Does this mean I cannot push after merging from my local branch into
> > master in my repository?  IOW, if I have local feature branches, do I
> > have to rebase commits from those branches before pushing them?
> 
> We do not have any hook that would reject such a push, but we would
> _really_ like you to

Too bad.

> (this is going back to a discussion we had about allowing merge
> commits or not).

AFAIR, that discussion was about merging from the (public) release
branch to master.  Now I asked about my private branches, which is
slightly different.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]