GNU bug report logs - #61437
[PATCH] doc: contributing: Cover push frequency in the Commit Policy.

Previous Next

Full log

Message #8 received at 61437 <at> debbugs.gnu.org (full text, mbox):

From: Simon Tournier <zimon.toutoune <at> gmail.com>
To: Christopher Baines <mail <at> cbaines.net>, 61437 <at> debbugs.gnu.org
Subject: Re: [bug#61437] [PATCH] doc: contributing: Cover push frequency in
 the Commit Policy.
Date: Tue, 14 Feb 2023 14:03:08 +0100

Hi,

On sam., 11 févr. 2023 at 21:15, Christopher Baines <mail <at> cbaines.net> wrote:

> +Try to plan ahead and avoid pushing several times in a short time
> +window.  This reduces the likelyhood that others working on the same
> +branch will encounter problems when pushing.  It also reduces the load
> +on services like @url{https://data.guix.gnu.org,data.guix.gnu.org} that
> +process each revision that is pushed.

The point is to push by batch instead of pushing several times in a row,
right?


Cheers,
simon

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.