{"push_id":2336953981,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"239d114338c4134e2a77c3d353b573b2e6a9cc23","before":"3186100ea938f2026e43c1a52b8e12d63469f6ef","commits":[{"sha":"239d114338c4134e2a77c3d353b573b2e6a9cc23","author":{"name":"Felipe Rodopoulos","email":"7be42ceeac44b8c751cfe439bc5cf7010ddc6bd7@gmail.com"},"message":"Openning and explaing possibility lemma","distinct":true,"url":"https://api.github.com/repos/rodopoulos/isabelling/commits/239d114338c4134e2a77c3d353b573b2e6a9cc23"}]}
{"actor":{"display_login":"rodopoulos"}}