{"push_id":2665528294,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"51914041f186a5b7f1c87671471162cd7273bcfa","before":"f67c29527b46169843e2e1c4d4bb84dace2c35b0","commits":[{"sha":"51914041f186a5b7f1c87671471162cd7273bcfa","author":{"name":"Andrea Vezzosi","email":"b7f458134666a5352414ffadd55fc640ce840f77@gmail.com"},"message":"[ cubical ] Added Agda.Builtin.Cubical.{Path,Id,Sub}","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/51914041f186a5b7f1c87671471162cd7273bcfa"}]}
{"actor":{"display_login":"Saizan"}}