Re: Patchwork patch tracking system

Eli Zaretskii
2014-05-21T18:48:20Z

> 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.