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.) -- Joseph S. Myers jos...@codesourcery.com
