From: Harald Nordgren Date: Thu, 29 Oct 2026 10:34:14 GMT Subject: Re: [PATCH] remote: resolve "simple" @{push} when pushing to another remote Message-ID: In-Reply-To: > So, I would say this is probably fine as-is? Thanks! Harald