{"push_id":761588218,"size":1,"distinct_size":1,"ref":"refs/heads/focus","head":"8af2c3b0623555cc10e67d3f25e9110500a348e9","before":"dc76ea23b271ed4a61d93205fb5ed1d4bf4e4a81","commits":[{"sha":"8af2c3b0623555cc10e67d3f25e9110500a348e9","author":{"email":"1c96ee184fb31ee5f27d75bbea28eaca9a9b66b7@epfl.ch","name":"Raphael Dumusc"},"message":"Multiple corrections to focus mode (size, animating, etc.)","distinct":true,"url":"https://api.github.com/repos/rdumusc/DisplayCluster/commits/8af2c3b0623555cc10e67d3f25e9110500a348e9"}]}