Add a simple merge_configs function in config.py (!33) · Merge requests · Platform / Development / swh-core

David Douard requested to merge generated-differential-D1017-source into generated-differential-D1017-target Jan 28, 2019

that recursively merge 2 (config) dictionaries. This is meant to be used to simplify a bit the config system of several systems of the swh platform (related to #1410 and #826 (closed)).

depends on !32 (closed)

Migrated from D1017 (view on Phabricator)

Add a simple merge_configs function in config.py

Merge request reports