justfile: Add push recipe to push branch to all remotes
This commit is contained in:
parent
6ba58d5882
commit
34b35719e8
1 changed files with 4 additions and 0 deletions
|
|
@ -46,6 +46,10 @@ sign:
|
|||
patch revision="HEAD":
|
||||
git push rad {{ revision }}:refs/patches
|
||||
|
||||
push:
|
||||
jj git push -b dev --remote all
|
||||
jj git fetch --all-remotes
|
||||
|
||||
rebase revision="dev":
|
||||
jj rebase -b 'all:heads(all()) & ~signed() &~@' -d {{ revision }}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue