Removing Jujutsu from a colocated Git repo again ("un-init")

[smheidrich]

Is there a jj command or are there "official" instructions for how to remove Jujutsu-specific resources from a (pre-existing) colocated Git repo again?

At first I thought removing the .jj/ dir would be enough, but apparently you also have to remove the refs/jj/keep/<hash> refs Jujutsu creates (assuming you really want to get rid of everything and have assured yourself there was nothing worth keeping you did while trying out Jujutsu in this repo); Git's prune doesn't do it (which is the whole point of those refs, of course).

If there isn't one already, would it be sensible to create a feature request for a jj git deinit (or uninit, remove, delete - whatever) command, or is this a terrible idea?

[joyously]

I'm not sure if it matters, (for future jj attempts in the same repo), but there is residue left in the home folder for the repo config file.

[josephlou5]

I thought just removing .jj/ would have been enough, but it looks like that might not be the case. A FR makes sense to me.

FWIW, command names generally try to be reasonable English words, so deinit probably won't fly. jj git remove seems reasonable, but might be too close for comfort to jj git remote. And since it's such a destructive operation (and requires caution), I wonder if something like jj git remove-jj-repo --yes-i-mean-it (i.e., something verbose) would be good? Just throwing ideas out; I am not good at naming :p

[smheidrich]

Thanks for the replies, I only now got around to creating the feature request:

• FR: Command to remove Jujutsu from a co-located Git repo again #10367

Marking this as closed because the discussion about the feature can take place there.