{"push_id":2481927246,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"58b947576b051e0ca53cf8a9c51fc52a9dcfd0e0","before":"ed647a628541c07835d53f63525aa6c175eaee7d","commits":[{"sha":"80fa9956f7ab103109d09c0d74d53289dd54d2b9","author":{"name":"Giacomo","email":"fbfc7b30e295ecc377035a5bf61db1f06a356c3e@Ozymandias.II"},"message":"Added second projection for dependent setoid type (cast)","distinct":true,"url":"https://api.github.com/repos/sacerdot/Minimalist-Type-Theory-In-Lambda-Prolog/commits/80fa9956f7ab103109d09c0d74d53289dd54d2b9"},{"sha":"58b947576b051e0ca53cf8a9c51fc52a9dcfd0e0","author":{"name":"Giacomo","email":"fbfc7b30e295ecc377035a5bf61db1f06a356c3e@Ozymandias.II"},"message":"Merge branch 'master' of https://github.com/sacerdot/Minimalist-Type-Theory-In-Lambda-Prolog","distinct":true,"url":"https://api.github.com/repos/sacerdot/Minimalist-Type-Theory-In-Lambda-Prolog/commits/58b947576b051e0ca53cf8a9c51fc52a9dcfd0e0"}]}
{"actor":{"display_login":"Anfiarao"}}