sphinx: add the crudini tool (!3) · Merge requests · Platform / Infrastructure / CI CD / Dockerfiles for Jenkins · GitLab

Staging instance, all changes can be removed at any time

Silent mode is enabled

All outbound communications are blocked. Learn more.

David Douard requested to merge generated-differential-D749-source into generated-differential-D749-target Nov 30, 2018

so we can easily manipulate the .mrconfig file (ie. delete unwanted sections).

Migrated from D749 (view on Phabricator)