Github credential information. This is typically stored in a user configuration file
and is used by the script. Note that it contains more data than what is used by the
script; the reason is that the same configuration file can be reused by other scripts, too.
Github credential information. This is typically stored in a user configuration file and is used by the script. Note that it contains more data than what is used by the script; the reason is that the same configuration file can be reused by other scripts, too.