{"push_id":722489658,"size":1,"distinct_size":1,"ref":"refs/heads/argcoi","head":"dea7ee44a307e19a77b17878facb02d10597a299","before":"ef40310f44359c18cf97592343c9835b96d9f904","commits":[{"sha":"dea7ee44a307e19a77b17878facb02d10597a299","author":{"email":"cd31487b9bdcd888cb44d4d4d84a7db160a66157@microsoft.com","name":"Henning Guenther"},"message":"Integrate argument coi into the pipeline","distinct":true,"url":"https://api.github.com/repos/hguenther/z3/commits/dea7ee44a307e19a77b17878facb02d10597a299"}]}