When you push, perhaps it could print out the default values as a hint they can be overridden, e.g. ci.skip=false would perhaps indicate to users that this is a setting that can be changed from the push.