{"push_id":2533311472,"size":1,"distinct_size":1,"ref":"refs/heads/camera-ready","head":"b9055cce57c957df183ac48b8bc4229671dfac96","before":"4a8c72e7857bb3d7891ed3c72e863ddb029ed78a","commits":[{"sha":"b9055cce57c957df183ac48b8bc4229671dfac96","author":{"name":"dcdelia","email":"e3bca34e045ad08834122390572ee9301f058856@dis.uniroma1.it"},"message":"arXiv edits","distinct":true,"url":"https://api.github.com/repos/season-lab/survey-symbolic-execution/commits/b9055cce57c957df183ac48b8bc4229671dfac96"}]}
{"actor":{"display_login":"dcdelia"}}