The github.user and github.token settings aren't used by git, by the way - they're used by any tools you might use that can use the github API. They aren't requ

The github.user and github.token settings aren't used by git, by the way - they're used by any tools you might use that can use the github API. They aren't required for pushing or pulling over ssh.