Why lein ignore my profiles defined in ~/.lein/profiles.clj when my project's project.clj already define a profile with the same name, shouldn't merge it?
~/.lein/profiles.clj
{:repl {:dependencies [[dev.ericdallo/metrepl "0.3.4"]]}
my-project/project.clj
...
:profiles {:repl {}}
this already ignores the repl profile, if I remove the :repl {} it worksi'd expect to merge the coll as stated in https://github.com/technomancy/leiningen/blob/github/doc/PROFILES.md#merging
ah just missed this:
> Remember that if a profile with the same name is specified in multiple locations, only the profile with the highest "priority" is picked – no merging is done. The "priority" is – from highest to lowest – profiles.clj, project.clj, user-wide profiles, and finally system-wide profiles.
that sucks, I'd like to have the merge
Not sure if some metadata could make it merge.