{"push_id":548749761,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"671f96dd608b34c2142ecccaa2a297709084ed73","before":"c1d312c0e8d3b98887bdbfe5a9155117a36bbb23","commits":[{"sha":"816b9e5b5cd647ffb364cb59fe3c829eb90007bb","author":{"email":"a0623923c266c9c9a56ea76f5b437fa0327cf657@gmail.com","name":"Cristina"},"message":"updated citation to the solver","distinct":true,"url":"https://api.github.com/repos/blexim/synth/commits/816b9e5b5cd647ffb364cb59fe3c829eb90007bb"},{"sha":"671f96dd608b34c2142ecccaa2a297709084ed73","author":{"email":"a0623923c266c9c9a56ea76f5b437fa0327cf657@gmail.com","name":"Cristina"},"message":"updated citation to the solver","distinct":true,"url":"https://api.github.com/repos/blexim/synth/commits/671f96dd608b34c2142ecccaa2a297709084ed73"}]}