{"push_id":703593005,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8b2c6a52149527c3653a326513cab060a004a457","before":"e0c2b45eb1856fb869ceff573e3b28ec371c2474","commits":[{"sha":"8b2c6a52149527c3653a326513cab060a004a457","author":{"email":"6913277e3956c31a09dd7aa988b2825c3ab4c1ba@gmail.com","name":"Patrik Jansson"},"message":"Some more list functions","distinct":true,"url":"https://api.github.com/repos/patrikja/SeqDecProb_Agda/commits/8b2c6a52149527c3653a326513cab060a004a457"}]}