{"push_id":832507468,"size":1,"distinct_size":1,"ref":"refs/heads/feature/pattern-match-automaton","head":"48fa5f9a0a5558dd74819de2f8748b03cb68d955","before":"a835f15b3f231a7f20543ff97cc949daf3bba3ce","commits":[{"sha":"48fa5f9a0a5558dd74819de2f8748b03cb68d955","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"test not relevant for now","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/48fa5f9a0a5558dd74819de2f8748b03cb68d955"}]}