

def update_success_status(status_url, job_url, filenames, github_auth):
    ' Push success status for head commit to Github status API.\n    '
    status = dict(context='openaddresses/hooked', state='success', description='Succeeded on {}'.format(', '.join(filenames)), target_url=job_url)
    return post_github_status(status_url, status, status_url)

dataset/ETHPy150Open openaddresses/machine/openaddr/ci/__init__.py update_success_status/VarMisuse@56/112 `github_auth`->`status_url`