{"push_id":1341509673,"size":1,"distinct_size":1,"ref":"refs/heads/cool","head":"ce3c8e2206837405ef9de1482e50330112dbc8c6","before":"fd94fa45f65bb5be70c6c9f404501617ca08dfb1","commits":[{"sha":"ce3c8e2206837405ef9de1482e50330112dbc8c6","author":{"name":"baki","email":"647edd325eb3c569ea648e58b80062bb00255b7a@cs.ucsb.edu"},"message":"Fix disjunction for arithmetic constraint solver","distinct":true,"url":"https://api.github.com/repos/vlab-cs-ucsb/ABC/commits/ce3c8e2206837405ef9de1482e50330112dbc8c6"}]}
{"actor":{"display_login":"abakiaydin"}}