diff options
| author | Felipe Contreras <felipe.contreras@gmail.com> | 2021-05-31 14:32:31 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-06-02 10:09:51 +0900 |
| commit | 050f76b9af75bf69110d542e0cee569d0112f320 (patch) | |
| tree | e338bd62cfbc5dca9bc35559dc552d74da74ab65 /contrib/persistent-https | |
| parent | Git 2.31.1 (diff) | |
| download | git-050f76b9af75bf69110d542e0cee569d0112f320.tar.gz git-050f76b9af75bf69110d542e0cee569d0112f320.zip | |
push: rename !triangular to same_remote
The typical case is what git was designed for: distributed remotes.
It's only the atypical case--fetching and pushing to the same
remote--that we need to keep an eye on.
No functional changes.
Liked-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/persistent-https')
0 files changed, 0 insertions, 0 deletions