{"push_id":921078114,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"60066f0eded15da02df8e0d010adcd43aac02256","before":"9ca743a08af8e1dadd0328cef624cb09e5fc651e","commits":[{"sha":"60066f0eded15da02df8e0d010adcd43aac02256","author":{"email":"f42ebdd520afb7505b40286b1d13fbb7281e5b96@idni.org","name":"naturalog"},"message":"elementary proof","distinct":true,"url":"https://api.github.com/repos/naturalog/prodcos/commits/60066f0eded15da02df8e0d010adcd43aac02256"}]}