{"push_id":722016931,"size":8,"distinct_size":8,"ref":"refs/heads/juin2015","head":"3e696ef5bf73515bc191af865942b4a4e14a7dbd","before":"becee1242b81be10dd232e305ed46fedeb000c7f","commits":[{"sha":"7d89ee187a395b750e252387beb432fcc1e3dad9","author":{"email":"64eafac2ce5ac21efb3d10c2bc0713fe3aa70f05@ens-rennes.fr","name":"SimonBoulier"},"message":"record for functors","distinct":true,"url":"https://api.github.com/repos/SimonBoulier/HoTT/commits/7d89ee187a395b750e252387beb432fcc1e3dad9"},{"sha":"40d19bcebdffd655288377b34b1f33ef6fd7e854","author":{"email":"64eafac2ce5ac21efb3d10c2bc0713fe3aa70f05@ens-rennes.fr","name":"SimonBoulier"},"message":"path_functor énoncé","distinct":true,"url":"https://api.github.com/repos/SimonBoulier/HoTT/commits/40d19bcebdffd655288377b34b1f33ef6fd7e854"},{"sha":"4092d1e43a5cc27827e8ed69f2dbe0020d919871","author":{"email":"64eafac2ce5ac21efb3d10c2bc0713fe3aa70f05@ens-rennes.fr","name":"SimonBoulier"},"message":"avant tout supprimer","distinct":true,"url":"https://api.github.com/repos/SimonBoulier/HoTT/commits/4092d1e43a5cc27827e8ed69f2dbe0020d919871"},{"sha":"e6d9653012a613f74372551a4b95f7839e6bf59b","author":{"email":"64eafac2ce5ac21efb3d10c2bc0713fe3aa70f05@ens-rennes.fr","name":"SimonBoulier"},"message":"nvelle def T","distinct":true,"url":"https://api.github.com/repos/SimonBoulier/HoTT/commits/e6d9653012a613f74372551a4b95f7839e6bf59b"},{"sha":"5b2600a4164b48c5016ae397a8774adb0863678f","author":{"email":"64eafac2ce5ac21efb3d10c2bc0713fe3aa70f05@ens-rennes.fr","name":"SimonBoulier"},"message":"avant changer colimit_rec","distinct":true,"url":"https://api.github.com/repos/SimonBoulier/HoTT/commits/5b2600a4164b48c5016ae397a8774adb0863678f"},{"sha":"7ef97e19f00596d8936dc17943085eddf1761f66","author":{"email":"64eafac2ce5ac21efb3d10c2bc0713fe3aa70f05@ens-rennes.fr","name":"SimonBoulier"},"message":"colimit_rec now use a cocone","distinct":true,"url":"https://api.github.com/repos/SimonBoulier/HoTT/commits/7ef97e19f00596d8936dc17943085eddf1761f66"},{"sha":"268a0595f462283acd7ead49e8dfecaedc97bc72","author":{"email":"64eafac2ce5ac21efb3d10c2bc0713fe3aa70f05@ens-rennes.fr","name":"SimonBoulier"},"message":"en route","distinct":true,"url":"https://api.github.com/repos/SimonBoulier/HoTT/commits/268a0595f462283acd7ead49e8dfecaedc97bc72"},{"sha":"3e696ef5bf73515bc191af865942b4a4e14a7dbd","author":{"email":"64eafac2ce5ac21efb3d10c2bc0713fe3aa70f05@ens-rennes.fr","name":"SimonBoulier"},"message":"functoriality colimit","distinct":true,"url":"https://api.github.com/repos/SimonBoulier/HoTT/commits/3e696ef5bf73515bc191af865942b4a4e14a7dbd"}]}