mirror of
https://github.com/git/git.git
synced 2026-02-05 11:36:13 +01:00
It is a common mistake to leave an unsed `origin` branch behind if a shared public repository was created by first cloning from somewhere else. Subsequent `git push` into it with the default "push all the matching ref" would push the `origin` branch from the developer repository uselessly. Signed-off-by: Junio C Hamano <junkio@cox.net>
67 KiB
67 KiB