jj config prevent editing rev already pushed (closes #4) #7

Merged
thermokarst merged 1 commit from thermokarst_jj_xrtmqosrwsww into main 2025-04-06 21:18:59 +00:00
Showing only changes of commit 65ffb03b68 - Show all commits

View file

@ -7,7 +7,8 @@ push-bookmark-prefix = "{{ .github_personal }}_jj_"
private-commits = "description(glob:'private:*') | bookmarks('merge')"
[revset-aliases]
'stack()' = 'main..@'
"stack()" = "trunk()..@"
"immutable_heads()" = "builtin_immutable_heads() | (trunk().. & ~mine())"
[ui]
default-command = ["log"]