{"push_id":909179124,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"106d377155d87da02b4fed31fcf0d060f881b2a3","before":"c5004c78e2b40bebda3403750952e6b710b51e47","commits":[{"sha":"106d377155d87da02b4fed31fcf0d060f881b2a3","author":{"email":"979058fa2391c60fec8c466b91121fa794e5d834@cmu.edu","name":"Arie Gurfinkel"},"message":"minor cleanup of devirt pass","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn/commits/106d377155d87da02b4fed31fcf0d060f881b2a3"}]}