3 ms·
jj git push -c <changeid> will create a bookmark for you and automatically give it a random name. Most folks who do this configure it to add a prefix, often a u
by steveklabnik 2y ago
jj git push -c <changeid> will create a bookmark for you and automatically give it a random name. Most folks who do this configure it to add a prefix, often a username.
- pkulak 2y agoOh, I didn't know you could do that. Nice. EDIT: Docs here: https://github.com/jj-vcs/jj/blob/main/docs/config.md#prefix-for-generated-bookmarks-on-push https://github.com/jj-vcs/jj/blob/main/docs/config.md#prefix...