{"push_id":872280854,"size":1,"distinct_size":1,"ref":"refs/heads/simple","head":"fd2609787b643870482866dc0e2b2b8e96e82327","before":"9eccf0dc00608c146203fbe572bc9b22ddf4249f","commits":[{"sha":"fd2609787b643870482866dc0e2b2b8e96e82327","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"reverting file causing test issue","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/fd2609787b643870482866dc0e2b2b8e96e82327"}]}