some trivial setting used by other repos