message: allow underscore and capitals in Github token
diff: @@ -524,7 +524,7 @@ def read_github_creds(github_token_file):
  Read the GitHub token from the specified file and return it as a string.
  """
  - token_re = re.compile('^(?:Token - )?(?P<tok>[0-9a-f]{40}).*$')
  + token_re = re.compile('^(?:Token - )?(?P<tok>\w{40}).*$')
  github_token = None
  with open(github_token_file, 'rb') as token_stream:
  