{"push_id":1217116005,"size":1,"distinct_size":1,"ref":"refs/heads/io","head":"e5d3939e44f9a51e29707e09fcf62b35f6595d42","before":"3112bbfdac97bbd6d15359425b56ec874bd3842e","commits":[{"sha":"e5d3939e44f9a51e29707e09fcf62b35f6595d42","author":{"name":"Philipp Hausmann","email":"1bddda1e84acacf92e8066834359330345d0352e@314.ch"},"message":"Do not index paths by the target they point to.","distinct":true,"url":"https://api.github.com/repos/phile314/agda-prelude/commits/e5d3939e44f9a51e29707e09fcf62b35f6595d42"}]}
{"actor":{"display_login":"phile314"}}