{"push_id":1025665110,"size":1,"distinct_size":1,"ref":"refs/heads/jal-master","head":"99a0a42b8d346d35f50bd41c2c3d5bd938d5f627","before":"3c5963d2a5cc7c97eac24265d31ccd1e0416b17d","commits":[{"sha":"99a0a42b8d346d35f50bd41c2c3d5bd938d5f627","author":{"email":"bfe62f575642fa3d624b76f70ced3e14bf46695f@ens.fr","name":"GAJaloyan"},"message":"adding the opts also in the monitor","distinct":true,"url":"https://api.github.com/repos/GaloisInc/tower/commits/99a0a42b8d346d35f50bd41c2c3d5bd938d5f627"}]}