{"push_id":980423829,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9dbcff8463f60b0d222e610d9f5c29f74aea8edd","before":"a381f1828d9bf17b407cb17ebc56297f86096449","commits":[{"sha":"9dbcff8463f60b0d222e610d9f5c29f74aea8edd","author":{"email":"b1c1d8736f20db3fb6c1c66bb1455ed43909f0d8@pavpanchekha.com","name":"Pavel Panchekha"},"message":"Fix seed handling","distinct":true,"url":"https://api.github.com/repos/uwplse/herbie/commits/9dbcff8463f60b0d222e610d9f5c29f74aea8edd"}]}