jj: write change id header

This commit is contained in:
2025-10-29 12:50:12 +01:00
parent a879221ced
commit 193aff6ee2

View File

@@ -9,6 +9,9 @@ diff-editor = ":builtin"
name = "Romain Paquet" name = "Romain Paquet"
email = "rpqt@rpqt.fr" email = "rpqt@rpqt.fr"
[git]
write-change-id-header = true
[revset-aliases] [revset-aliases]
'closest_pushable(to)' = 'heads(::to & mutable() & ~description(exact:"") & (~empty() | merges()))' 'closest_pushable(to)' = 'heads(::to & mutable() & ~description(exact:"") & (~empty() | merges()))'