this setting is not github-specific?