From: Kristoffer Haugsbakk <kristofferhaugsbakk@fastmail.com>
Date: Tue, 12 May 2026 15:05:56 GMT
Subject: Re: [RFC PATCH v5 3/3] push: support pushing to a remote group
Message-ID: <d6566004-f803-4824-b050-f086b6d6d76c@app.fastmail.com>
In-Reply-To: <20260503153402.1333220-4-usmanakinyemi202@gmail.com>

On Sun, May 3, 2026, at 17:34, Usman Akinyemi wrote:
> `git fetch` accepts a remote group name (configured via `remotes.<name>`
> in config) and fetches from each member remote. `git push` has no
> equivalent — it only accepts a single remote name.
>
>[snip]
>
> +This means the user is responsible for ensuring that the sequence of
> +individual pushes makes sense. If `git push r1`` would fail for a given

Double backticks (s/`git push r1``/`git push r1`/).

> +set of options and arguments, then `git push all-remotes` will fail in
> +the same way when it reaches r1. The group push does not do anything

s/r1/`r1`/ ? Goes for the others here as well

> +special to make a failing individual push succeed.
> +
>  OUTPUT
>  ------
>[snip]