Function post_issue_comment

tools/gh_api.py:76–79

(project, num, body)

    return {'Authorization': 'token ' + get_auth_token().replace("\n","")}

def post_issue_comment(project, num, body):
    url = f'https://api.github.com/repos/{project}/issues/{num}/comments'
    payload = json.dumps({'body': body})
    requests.post(url, data=payload, headers=make_auth_header())

def post_gist(content, description='', filename='file', auth=False):
    """Post some text to a Gist, and return the URL."""