{"push_id":668014903,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"81c0d62d54d98558041fa5342cb5868a27562b36","before":"b11948b370ba1c8408d1fee52a3a35a79cf6373c","commits":[{"sha":"81c0d62d54d98558041fa5342cb5868a27562b36","author":{"email":"2f2eda765b3bf18fb86627f973cc113f144d69d9@gmail.com","name":"Artur Malabarba"},"message":"UPDATE: Proof general configuration for the Coq Software Foundations tutorial","distinct":true,"url":"https://api.github.com/repos/Malabarba/EndlessParentheses/commits/81c0d62d54d98558041fa5342cb5868a27562b36"}]}