On the topic of JJ. Here is a nice alias to make pushing to remote git repo faster.

`jjp: aliased to jj bookmark m main --to @- && jj git push`

#jj