Hi Jacopo, Many thanks for your precious contribution. On Mon, Jun 22, 2020 at 07:26:14PM +0200, Jacopo Mondi wrote: > My ISP has rejected the rest of the series: too many emails :( > Has it ever happened to anyone else ? How did you solved this ? I guess leaving 5-10 seconds between sending individual patches should overcome this? I wonder if git provides a built-in command for that? -- Best regards, Eugeniu Rosca