If the server is configured to not be using GitHub then don't even offer this as an option on the user page, because should never be collecting the GitHub data for them.
This might be problematic in the special case of a server's config changing and switching to IS_USING_GITHUB and IS_USING_GITHUB_API_TO_FORK but that seems like such a special case should not be worrying about it.
If the server is configured to not be using GitHub then don't even offer this as an option on the user page, because should never be collecting the GitHub data for them.
This might be problematic in the special case of a server's config changing and switching to
IS_USING_GITHUB
andIS_USING_GITHUB_API_TO_FORK
but that seems like such a special case should not be worrying about it.