{"push_id":692125557,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"0fb9cc13167c994026e1fdb7d6024151a5c387e1","before":"5f595769dc388a910cb8eb5a6211a8e65e4d2532","commits":[{"sha":"91581404a9484d45f4bb026af4f47c07a12ac942","author":{"email":"a749ef0191d74c7890894b05858eefc8f9ad8d81@163.com","name":"physicsmeGH"},"message":"finished automatic cfl-reachability stats tool","distinct":true,"url":"https://api.github.com/repos/proganalysis/type-inference/commits/91581404a9484d45f4bb026af4f47c07a12ac942"},{"sha":"0fb9cc13167c994026e1fdb7d6024151a5c387e1","author":{"email":"a749ef0191d74c7890894b05858eefc8f9ad8d81@163.com","name":"physicsmeGH"},"message":"modified cfl-reachability tool to make it non-interactive","distinct":true,"url":"https://api.github.com/repos/proganalysis/type-inference/commits/0fb9cc13167c994026e1fdb7d6024151a5c387e1"}]}