{"push_id":1231215592,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c9258db700cf17f0e36b39fd04b04c2b802602ea","before":"cba06cf47c5a9f5c38bf7362da1737b16836d5af","commits":[{"sha":"c9258db700cf17f0e36b39fd04b04c2b802602ea","author":{"name":"Arie Gurfinkel","email":"7784e3071b3f4f9ee5496bda818cdef17be4da34@cmu.edu"},"message":"updated seahorn architecture","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn.github.io/commits/c9258db700cf17f0e36b39fd04b04c2b802602ea"}]}
{"actor":{"display_login":"agurfinkel"}}