{"push_id":2847238993,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"7fa97f8becea0e57f32f3c348471d7abc6029d60","before":"333face272e39175a1b342e14c86c316f572f51f","commits":[{"sha":"beb0b1bffec474ea81791ecfecea49110a28e608","author":{"name":"Jason Gross","email":"29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu"},"message":"Don't allow validate to fail\n\nNow that the validate target actually works, we don't allow it to fail.","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/beb0b1bffec474ea81791ecfecea49110a28e608"},{"sha":"7fa97f8becea0e57f32f3c348471d7abc6029d60","author":{"name":"Mike Shulman","email":"cba0fef17285386956737483f829171a211b13d9@gmail.com"},"message":"Merge pull request #956 from JasonGross/force-validate\n\nDon't allow validate to fail","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/7fa97f8becea0e57f32f3c348471d7abc6029d60"}]}
{"actor":{"display_login":"mikeshulman"}}