On Mon, Mar 30, 2020 at 10:54 AM Joseph Myers <jos...@codesourcery.com> wrote:
>
> On Mon, 30 Mar 2020, Martin Liška wrote:
>
> > Can you please disable email sending for user branch? Or does it make any
> > sense?
>
> Email sending for user branches makes perfect sense, to make visible the
> development going on.  It's specifically email sending for merges of
> commits already present in the repository that doesn't seem useful, as
> discussed in <https://github.com/AdaCore/git-hooks/issues/9>.  (And the
> workaround for the limits, for now, is to merge not more than 1000 commits
> at a time.)

Hmmm, I have the same problem now with the gccgo branch.  I just set
up a merge, but it has 1304 commits.  Is there a simple way to merge
fewer changes?

Ian

Reply via email to