Github user name and token may be in global git config

[Artanis]

The environment variables GITHUB_USERNAME and GITHUB_API_TOKEN may be redundant, as the github help page set your user name, email, and github token suggests that user name and api token be set in the global git config file as github.user and github.token.