{"push_id":701109612,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8109ed4d76072ae65983f34634733515c4688086","before":"d6b3817eafd77163f3022284ebf283e2db07f759","commits":[{"sha":"8109ed4d76072ae65983f34634733515c4688086","author":{"email":"26526c99d12416a2aef9624e356662eb94a1fc0e@galois.com","name":"Robert Dockins"},"message":"Try to fix the Windows incremental build again, this time with\nbetter string-escaping.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/8109ed4d76072ae65983f34634733515c4688086"}]}