{"push_id":595356324,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"0b1e34513fc38cd731256110b196160bd7d57245","before":"63c7819d138ffaebe391c2578de66a510c1aba8a","commits":[{"sha":"ab7de732640bea4e7d066a2d698c1ea91594e4b8","author":{"email":"cc9269cf3c60da8ea57f830921d7a9d7213f2312@gmail.com","name":"Adrien Husson"},"message":"Simplification de lemmes","distinct":true,"url":"https://api.github.com/repos/pangel/hairy-batman/commits/ab7de732640bea4e7d066a2d698c1ea91594e4b8"},{"sha":"a193eb2093e8d1ccbbb8dd53c32cb043040fe217","author":{"email":"cc9269cf3c60da8ea57f830921d7a9d7213f2312@gmail.com","name":"Adrien Husson"},"message":"fix subst_type","distinct":true,"url":"https://api.github.com/repos/pangel/hairy-batman/commits/a193eb2093e8d1ccbbb8dd53c32cb043040fe217"},{"sha":"2d4a1bb02df0f8c8cf3ef52bfe3e9122cbf78811","author":{"email":"cc9269cf3c60da8ea57f830921d7a9d7213f2312@gmail.com","name":"Adrien Husson"},"message":"Lemmes de commutation tsubst/tshift. ..._swapN devient ..._swapDown","distinct":true,"url":"https://api.github.com/repos/pangel/hairy-batman/commits/2d4a1bb02df0f8c8cf3ef52bfe3e9122cbf78811"},{"sha":"0b1e34513fc38cd731256110b196160bd7d57245","author":{"email":"cc9269cf3c60da8ea57f830921d7a9d7213f2312@gmail.com","name":"Adrien Husson"},"message":"Termine env_subst.v","distinct":true,"url":"https://api.github.com/repos/pangel/hairy-batman/commits/0b1e34513fc38cd731256110b196160bd7d57245"}]}