{"push_id":1282888185,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0c03d00e1f9bd3df64d1774fdeee65433e3c5edb","before":"ee8610a4c23a20025c3deb81529a69d2938cdd36","commits":[{"sha":"0c03d00e1f9bd3df64d1774fdeee65433e3c5edb","author":{"name":"gallais","email":"6001b7cefb076f0c2bb2a71e2b3f6cdcbfdeec2e@ens-lyon.org"},"message":"[ refactor ] `reindex` subsumes rename, subst\n\nWe can use `reindex` to implement the algebras for renaming and\nsubstitution generically for any `SyntaxWithBinding`.","distinct":true,"url":"https://api.github.com/repos/gallais/potpourri/commits/0c03d00e1f9bd3df64d1774fdeee65433e3c5edb"}]}
{"actor":{"display_login":"gallais"}}