ref: 17e813bbac232ebb25273065f227674acbd97782
parent: 8000697e669a8c3b8ffed2df6c6c966727e8be9e
author: Ori Bernstein <ori@eigenstate.org>
date: Wed Nov 25 21:42:53 EST 2020
git/push: allow mirrored upstreams (thanks kvik) It's sometimes convenient to mirror repositories to multiple locations. For example, you may be maintaining a git server you don't yet fully trust, and want to push to github as well. After this change, duplicated remotes with the same name will all get pushed to. For example: [remote "origin"] url=hjgit://orib.dev/git9 [remote "origin"] url=git+ssh://git@github.com/oridb/git9 [remote "origin"] url=git+ssh://git@git.sr.ht:~ori/git9 will push to all three locations on every 'git push'