{"push_id":1593512281,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"24507f1ef24ef7bf86a69db4c3ee4620232287e0","before":"4472252839ba0ad860410b5e32e83b03dec54c8b","commits":[{"sha":"24507f1ef24ef7bf86a69db4c3ee4620232287e0","author":{"name":"Daniel Rogozin","email":"ebf231936c79c21c9cc3f47b288483ee374e97f1@icloud.com"},"message":"Update NatProofs.idr","distinct":true,"url":"https://api.github.com/repos/DanielRrr/Idris_studies/commits/24507f1ef24ef7bf86a69db4c3ee4620232287e0"}]}
{"actor":{"display_login":"DanielRrr"}}