{"push_id":837295154,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b655170dadb00e9381e55d38dae62de8085862e2","before":"b8c09bc50588e2a5e54b6845690af71c6513afd5","commits":[{"sha":"b655170dadb00e9381e55d38dae62de8085862e2","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat: roll back to use dreal/dreal instead of dreal/dreal3","distinct":true,"url":"https://api.github.com/repos/dreal/ppa-updater/commits/b655170dadb00e9381e55d38dae62de8085862e2"}]}