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

1 commit