{"push_id":835454987,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"06802c44df30f4101918b46ca7b318dba35a694a","before":"6a18c0318be70af48b19aa03f8baf8c312f7b0e3","commits":[{"sha":"06802c44df30f4101918b46ca7b318dba35a694a","author":{"email":"979058fa2391c60fec8c466b91121fa794e5d834@cmu.edu","name":"Arie Gurfinkel"},"message":"[FIX] (seapar) typo","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn/commits/06802c44df30f4101918b46ca7b318dba35a694a"}]}