git push origin HEAD:main as a jj one-liner?

[wez]

I'm used to a completely branchless mercurial workflow, so I'm happy to ignore and do away with all local branches. I also happen to work primarily with git repos where I am the primary committer and I tend to push directly to the main branch on github, so I don't usually make PRs for my own work. In git I use git push origin HEAD:main when I've got a stack of commits to push up.

I've only used jj to push a handful of commits so far, and each time I've stumbled with the need to run jj branch set main -r @- first. I would like to collapse that step out of my workflow.

From the jj git push docs it looks like I should be using -c @- (or -r @-?) to push the parent of my working copy, but the docs say that it will create a new branch for that. How can I tell it to push to main@origin and not make a new branch?

Is there a different way to express this workflow in jj that I've completely missed?

(Slight aside: jj git push --help docs feel a bit ambiguous regarding local vs. remote branches. I recognize that I'm new to jj and that perhaps it is more obvious to an established jj user, but I wanted to share that it isn't clear to me whether the branch creation is local or remote or how those interact around the push operation, from reading the jj git push --help docs in isolation)

[martinvonz]

You're correct that this is a missing feature. It doesn't seem to be a good fit for jj git push because that command pushes local branch to a remote without renaming them. We have talked about creating a separate command for pushing a revision to an arbitrary ref on the remote.

[arxanas]

If your repository is colocated, you should also be able to run git push directly.