Merge settings shared with mip-federation.
This script is used both in this repository, as well as in the mip-federation repository, so keep them as close as possible.