{"push_id":1165400253,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6447a74bf1f470e9ef6ba19568fbd75105f0863d","before":"0464d18033bb95c9800ecccf810a55a1e45e9ed3","commits":[{"sha":"6447a74bf1f470e9ef6ba19568fbd75105f0863d","author":{"name":"DavePearce","email":"334d99dbbb7f7a66dd1645c4852640661889e297@ecs.vuw.ac.nz"},"message":"Begun mining examples from \"Reasoned Programming\"","distinct":true,"url":"https://api.github.com/repos/DavePearce/VerificationBookBenchmarks/commits/6447a74bf1f470e9ef6ba19568fbd75105f0863d"}]}
{"actor":{"display_login":"DavePearce"}}