Push to a Git remote. More information: https://jj-vcs.github.io/jj/latest/cli-reference/#jj-git-push.
git.push setting):jj git push {{[-b|--bookmark]}} {{bookmark}} --remote {{remote}}
jj git push {{[-b|--bookmark]}} {{bookmark}} {{[-N|--allow-new]}}
jj git push --tracked
jj git push --all
jj git push {{[-r|--revisions]}} {{revset}}
templates.git_push_bookmark setting, defaults to "push-" ++ change_id.short()):jj git push {{[-c|--change]}} {{revset}}
jj git push --named {{name}}={{revision}}