Merge branch 'ci/centralize-config' into 'master' See merge request [!248] [!248]: Nonecore/dune-istl/merge_requests/248