jj-vcs
FR: Push to multiple git remotes
Is your feature request related to a problem? Please describe. I must remember to issue additional push commands to additional remotes, because jj does not support pushing to multiple remotes.
Describe the solution you'd like
Configure multiple push remotes like:
jj config set --repo git.push ["origin", "mirror"]
The proposed solution is already listed as possible in the documentation. Default remotes for jj git fetch and jj git push:
Note that unlike git.fetch, git.push can currently only be a single remote. This is not a hard limitation, and could be changed in the future if there is demand.
Related issues: jj git push ignores multiple push urls #4889
I closed #4889 since it works now (push invokes git, which understands multiple pushurls), but i think native support might still be better, since the status / progress for pushing to multiple is somewhat hidden.
