server.py 文件源码

def gitlab_push(request, config):
    data = json.loads((yield from request.content.read()).decode())
    branch = data['ref'].split('refs/heads/')[1]
    config.reload()
    repo_manager = RepoManager(config['name'],
                               config['uri'],
                               config['merge_workspace'])
    handler = PushHandler(config,
                          branch,
                          data['commits'],
                          repo_manager)
    # re.match(r'(.+?:\/\/.+?)\/', data['repository']['homepage']).group(1),
    loop = asyncio.get_event_loop()
    # Close connection first, then handle
    # (if gitlab can not get response for too long it is repeating request)
    loop.call_soon(handler.handle)
    return web.Response()