{"push_id":1677023425,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"15655e7ecff28ba201b405414a4be0f798bbaa66","before":"988797f5b8a4a88b0758454e0da2c72044d8abbb","commits":[{"sha":"15655e7ecff28ba201b405414a4be0f798bbaa66","author":{"name":"Deepikakadela","email":"8328addc339a896648edf0be16520cbfceeef231@iittp.ac.in"},"message":"Update Extract","distinct":true,"url":"https://api.github.com/repos/Deepikakadela/Coq-with-OCaml-proof-assistant-/commits/15655e7ecff28ba201b405414a4be0f798bbaa66"}]}
{"actor":{"display_login":"Deepikakadela"}}