{"push_id":2821496790,"size":2,"distinct_size":2,"ref":"refs/heads/loop_abstract","head":"de07fee005f1832adc141de5a6e6251e743ea5cb","before":"437fd9c22d71237665988833f75eccf2bc1df98d","commits":[{"sha":"8a2fc6163348763af885dd619e176115af92eef5","author":{"name":"zhixing-xu","email":"50f4b575cc9c77ec28da1c71304f47e65b17b521@princeton.edu"},"message":"get_loop_info modification","distinct":true,"url":"https://api.github.com/repos/zhixing-xu/cbmc/commits/8a2fc6163348763af885dd619e176115af92eef5"},{"sha":"de07fee005f1832adc141de5a6e6251e743ea5cb","author":{"name":"zhixing-xu","email":"50f4b575cc9c77ec28da1c71304f47e65b17b521@princeton.edu"},"message":"update","distinct":true,"url":"https://api.github.com/repos/zhixing-xu/cbmc/commits/de07fee005f1832adc141de5a6e6251e743ea5cb"}]}
{"actor":{"display_login":"zhixing-xu"}}