{"push_id":1292235043,"size":3,"distinct_size":3,"ref":"refs/heads/depdestruct-polylist","head":"a0124fe152373454a3ddc2750535c2d31f3cc53d","before":"286cd61f607286c2d6a604b16f6f47f3e71446ab","commits":[{"sha":"2d8b3d07235f166bd8f6a72b66152cd7f565f557","author":{"name":"Beta Ziliani","email":"76c9c475217bbcf7c1525f3e2e7b958ef340f6ca@famaf.unc.edu.ar"},"message":"where to replace the apply with","distinct":true,"url":"https://api.github.com/repos/MetaCoq/MetaCoq/commits/2d8b3d07235f166bd8f6a72b66152cd7f565f557"},{"sha":"8e01868115607856d36744a571a9062b6a02908e","author":{"name":"Beta Ziliani","email":"76c9c475217bbcf7c1525f3e2e7b958ef340f6ca@famaf.unc.edu.ar"},"message":"added example of where","distinct":true,"url":"https://api.github.com/repos/MetaCoq/MetaCoq/commits/8e01868115607856d36744a571a9062b6a02908e"},{"sha":"a0124fe152373454a3ddc2750535c2d31f3cc53d","author":{"name":"Beta Ziliani","email":"76c9c475217bbcf7c1525f3e2e7b958ef340f6ca@famaf.unc.edu.ar"},"message":"added exception for unreducible term (instead of blocking)","distinct":true,"url":"https://api.github.com/repos/MetaCoq/MetaCoq/commits/a0124fe152373454a3ddc2750535c2d31f3cc53d"}]}
{"actor":{"display_login":"beta-ziliani"}}