{"push_id":955464124,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6798aed11277026bffe3b21e6d89c5157c2c48a6","before":"71ff006f011700887fe08dcef718b296e39f0929","commits":[{"sha":"6798aed11277026bffe3b21e6d89c5157c2c48a6","author":{"email":"9299b1aa825f759a752bfc15edeb0712f12b1581@cantab.net","name":"John Wickerson"},"message":"Little fixes.","distinct":true,"url":"https://api.github.com/repos/herd/herdtools/commits/6798aed11277026bffe3b21e6d89c5157c2c48a6"}]}