{"push_id":1811218945,"size":4,"distinct_size":1,"ref":"refs/heads/lattice2","head":"29ad57894e0bea89c7a5f983d381401ca10d3554","before":"0d16995258b24e6824dbbe878fd71f0c04bd2b2b","commits":[{"sha":"bd6683c4b7c8cc0a7cce9390e4f881e4c268389a","author":{"name":"Daniel R. Grayson","email":"8ba258345e8c7589d20364528ac4964f896605aa@math.uiuc.edu"},"message":"check for any unlisted proof files\n\nThe makefile now ensures that each *.v file inside a package directory\nis listed in the corresponding file UniMath/*/.package/files.  A single\nunlisted file is permitted, to give the author time to look at it and\ndecide what to do about it: CategoryTheory/equivalences_lemmas.v .  The\nunlisted file Ktheory/Sets.v was removed.\n\nresolves #723","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/bd6683c4b7c8cc0a7cce9390e4f881e4c268389a"},{"sha":"2d1cac0d553ab3591cba39c778f0d80376f46774","author":{"name":"Daniel R. Grayson","email":"8ba258345e8c7589d20364528ac4964f896605aa@math.uiuc.edu"},"message":"Merge pull request #724 from DanGrayson/check-for-unlisted-files\n\ncheck for any unlisted proof files","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/2d1cac0d553ab3591cba39c778f0d80376f46774"},{"sha":"7557ab9d62c24699632756478f02172a8e7baac7","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Merge remote-tracking branch 'origin/master' into lattice","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/7557ab9d62c24699632756478f02172a8e7baac7"},{"sha":"29ad57894e0bea89c7a5f983d381401ca10d3554","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Merge remote-tracking branch 'origin/lattice' into lattice2","distinct":true,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/29ad57894e0bea89c7a5f983d381401ca10d3554"}]}
{"actor":{"display_login":"cathlelay"}}