{"push_id":1096656930,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4d74ce3e761fecba91467d1321d838e59a141fc3","before":"45354d55d6907808bd79783e7a70b492fdd9a802","commits":[{"sha":"4d74ce3e761fecba91467d1321d838e59a141fc3","author":{"email":"91c52fab72739ed99228991c4401b0608797ba33@famaf.unc.edu.ar","name":"Beta Ziliani"},"message":"NewTactics is working now with the new pattern matching","distinct":true,"url":"https://api.github.com/repos/MetaCoq/MetaCoq/commits/4d74ce3e761fecba91467d1321d838e59a141fc3"}]}