{"push_id":839935989,"size":1,"distinct_size":1,"ref":"refs/heads/help-tactic","head":"64a5247813813a5db6575237cc410cac99ddb48d","before":"152c3c030b53efd260b8c4b348a4931c9750b932","commits":[{"sha":"64a5247813813a5db6575237cc410cac99ddb48d","author":{"email":"4a85cd989c6c1af99258905a444b3ddb835e7914@improving.org","name":"Paul Phillips"},"message":"Changed references to help-tactics to help-tactic.","distinct":true,"url":"https://api.github.com/repos/paulp/z3/commits/64a5247813813a5db6575237cc410cac99ddb48d"}]}