mirror of
https://github.com/RGBCube/ncc
synced 2025-07-29 11:07:44 +00:00
jj: add git push bookmark template
This commit is contained in:
parent
ce980de48d
commit
82446cf66b
1 changed files with 4 additions and 1 deletions
|
@ -90,8 +90,11 @@ in {
|
|||
)
|
||||
'';
|
||||
|
||||
templates.git_push_bookmark = /* python */ ''
|
||||
"change-rgbcube-" ++ change_id.short()
|
||||
'';
|
||||
|
||||
git.auto-local-bookmark = true;
|
||||
git.push-bookmark-prefix = "change-rgbcube-";
|
||||
|
||||
git.fetch = [ "origin" "upstream" "rad" ];
|
||||
git.push = "origin";
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue