I can never remember the incantation to get git to push to a non-default remote branch that doesn’t exist locally. So I’m writing it down.

A seemingly minor SourceHut feature is really nice for my workflow.