code: def delete_GitHub_token(token_id, *, auth, headers):
      
      r = requests.delete('https://api.github.com/authorizations/{id}'.format(id=token_id), auth=auth, headers=headers)
      GitHub_raise_for_status(r)
docs: Delete a temporary GitHub token