{"push_id":693976834,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"25777847d4acdd68ef05382f20241f0fa830b6f0","before":"61dea3d818d643c60bd498e8ceb77355bbf9d660","commits":[{"sha":"25777847d4acdd68ef05382f20241f0fa830b6f0","author":{"email":"87286b12a532f2a54ac2b0c061750663396a24ee@xs4all.nl","name":"Ronald Huizer"},"message":"Updated MiniSat to version 2-070721\n\nSigned-off-by: Ronald Huizer <r.huizer@xs4all.nl>","distinct":true,"url":"https://api.github.com/repos/scrippie/minisat/commits/25777847d4acdd68ef05382f20241f0fa830b6f0"}]}