{"push_id":966851698,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"0bcc5638aef972d70f1103b1c31c284651a45bcc","before":"1d56fc92c4de16735a60bff2cac23ad31dd34605","commits":[{"sha":"3ebcd941585396f4934f016db7fd6ec0916cb1cc","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"a few more lemmas about pullbacks","distinct":false,"url":"https://api.github.com/repos/benediktahrens/UniMath/commits/3ebcd941585396f4934f016db7fd6ec0916cb1cc"},{"sha":"0bcc5638aef972d70f1103b1c31c284651a45bcc","author":{"email":"2591e5f46f28d303f9dc027d475a5c60d8dea17a@math.uiuc.edu","name":"Daniel R. Grayson"},"message":"Merge pull request #298 from benediktahrens/pb3\n\na few more lemmas about pullbacks","distinct":true,"url":"https://api.github.com/repos/benediktahrens/UniMath/commits/0bcc5638aef972d70f1103b1c31c284651a45bcc"}]}