{"push_id":554893908,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"91b94148e621d5db1e05e048f214d4ba8d46a4fd","before":"e54bf9c8b9460c9e08ae516e25720393f78134cf","commits":[{"sha":"1a16e962bed72e95b6f6ba59bd837680c264e1cc","author":{"email":"596727c8a0ea4db3ba2ceceedccbacd3d7b371b8@gallabytes.com","name":"Jack Gallagher"},"message":"Export CpdtTactics from SfLib\n\nTime to Chlipalize - let's do this","distinct":true,"url":"https://api.github.com/repos/GallagherCommaJack/software-foundations/commits/1a16e962bed72e95b6f6ba59bd837680c264e1cc"},{"sha":"91b94148e621d5db1e05e048f214d4ba8d46a4fd","author":{"email":"596727c8a0ea4db3ba2ceceedccbacd3d7b371b8@gallabytes.com","name":"Jack Gallagher"},"message":"Automate and clear up proofs in Stlc\n\n#Chlipalized","distinct":true,"url":"https://api.github.com/repos/GallagherCommaJack/software-foundations/commits/91b94148e621d5db1e05e048f214d4ba8d46a4fd"}]}