From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 3 Jun 2026 23:13:53 +0000 (+0900)
Subject: Merge branch 'ua/push-remote-group' into jch
X-Git-Url: http://git.ipfire.org/gitweb/index.cgi?a=commitdiff_plain;h=ad666f60fcfd57d6db4d7980bdf260363b9d05ea;p=thirdparty%2Fgit.git

Merge branch 'ua/push-remote-group' into jch

"git push" learned to take a "remote group" name to push to, which
causes pushes to multiple places, just like "git fetch" would do.

* ua/push-remote-group:
  push: support pushing to a remote group
  remote: move remote group resolution to remote.c
  remote: fix sign-compare warnings in push_cas_option
---

ad666f60fcfd57d6db4d7980bdf260363b9d05ea