Post #1009944

Apropos of nothing: > The repo settings. These can be edited with `jj config edit --repo`, or found with `jj config path --repo`. For security reasons, they are not located inside the repo. > The workspace settings. These can be edited with `jj config edit --workspace`, or found with `jj config path --workspace`. For security reasons, they are not located inside the workspace. (https://www.jj-vcs.dev/latest/config/#config-files-and-toml)