tl/push-branches-is-an-alias-for-all (Was: Re: What's cooking in git.git (May 2023, #04; Thu, 11))

From: Elijah Newren <newren@gmail.com>
Date: May 12, 2023, 15:26 UTC
Message-ID: <CABPp-BFLOpsm6wg+CidEHaQhJ4FTnszfj8SUeBWxkFZgSeJ8Nw@mail.gmail.com>
In-Reply-To: <xmqqo7mqs7rp.fsf@gitster.g>

On Thu, May 11, 2023 at 6:22 PM Junio C Hamano <gitster@pobox.com> wrote:

Show 9 quoted lines

>
> * tl/push-branches-is-an-alias-for-all (2023-05-06) 1 commit
>   (merged to 'next' on 2023-05-09 at 1d8c3e5dcf)
>  + push: introduce '--branches' option
>
>  "git push --all" gained an alias "git push --branches".
>
>  Will merge to 'master'.
>  source: <20230506113408.61529-2-tenglong.tl@alibaba-inc.com>

This topic breaks the tests for me; it needs a trivial one-character fix: https://lore.kernel.org/git/pull.1532.git.1683904156670.gitgitgadget@gmail.com/