docs: def write_profile(name, repo, token):
      """Save a profile to the CONFIG_FILE.
  
      After you use this method to save a profile, you can load it anytime
      later with the ``read_profile()`` function defined above.
  
      Args:
  
          name
              The name of the profile to save.
  
          repo
              The Github repo you want to connect to. For instance,
              this repo is ``jtpaasch/simplygithub``.
  
          token
              A personal access token to connect to the repo. It is
              a hash that looks something like ``ff20ae42dc...``
  
      Returns:
          A dictionary with the profile's ``repo`` and ``token`` values.
  
      """
      make_sure_folder_exists(CONFIG_FOLDER)
      config = configparser.ConfigParser()
      config.read(CONFIG_FILE)
      profile = {"repo": repo, "token": token}
      config[name] = profile
      with open(CONFIG_FILE, "w") as configfile:
          config.write(configfile)
      return profile