Add a config edit
command to open jj config in editor#1003
Merged
dbarnett merged 1 commit intomain from push-4c07f66b034747e2ac227c39bdf4730dJan 12, 2023
+145-40
config edit
command to open jj config in editor#1003