@alexmiller: I’m bike shedding a little but what would you recommend calling the key for lein-tools-deps config. Currently it’s called :tools/deps which feels a little wrong, should it be :lein.tools/deps or :lein.tools.deps, or just :lein-tools-deps?

This is the key for using in a project.clj for configuring how the lein-tools-deps plugin should work with tools.deps

should be namespaced

wait, this is in project.clj?

I guess most stuff there is not namespaced

saying “lein” seems redundant

I guess I’d say :lein-tools-deps or :tools-deps

No harm in setting a new precedent.

yeah its in project.clj

but thought it might be nice to set a precedent

:lein-tools-deps/config

yeah I had thought of that one too… I like that it nests config under it, but it gets wordy… though that’s not really an issue

it also matches the actual project name on github, and root namespace name

I think that’s definitely the most correct one

thanks