{"push_id":714084200,"size":1,"distinct_size":1,"ref":"refs/heads/ping_controllers","head":"04312e371dccafa2176e74d86d302bf42531962b","before":"e091ba0448a4672310754023af42cc12f2217be3","commits":[{"sha":"04312e371dccafa2176e74d86d302bf42531962b","author":{"email":"5317e98bec552d72f09b5ccb59f677c59aad3592@m-labs.hk","name":"Yann Sionneau"},"message":"asyncio_process_wait_timeout: increase polling frequency","distinct":true,"url":"https://api.github.com/repos/fallen/artiq/commits/04312e371dccafa2176e74d86d302bf42531962b"}]}