{"push_id":611060147,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"22977850d720515c27ec2f42f7b9077d624edf5e","before":"1d91e304e704e76804bb50f22b4dafb96897bba0","commits":[{"sha":"22977850d720515c27ec2f42f7b9077d624edf5e","author":{"email":"368552c4ab5fcc86c7c81430f56cd902b2b2463f@gmail.com","name":"Kilian Sprotte"},"message":"edges cache","distinct":true,"url":"https://api.github.com/repos/kisp/argsem-soundness/commits/22977850d720515c27ec2f42f7b9077d624edf5e"}]}