{"push_id":1121280468,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"09a3934b53e4bfc831d1c1e686dcf27adce9d9ea","before":"794cc787b276a1db25289459051b2086b58e12ee","commits":[{"sha":"09a3934b53e4bfc831d1c1e686dcf27adce9d9ea","author":{"email":"df0078c222fc2789d89cf85b5f4485e369a934b8@gmail.com","name":"Abhishek Anand (@brixpro-home)"},"message":"added Opam entry for coq-squiggle-eq","distinct":true,"url":"https://api.github.com/repos/aa755/opam-coq-archive/commits/09a3934b53e4bfc831d1c1e686dcf27adce9d9ea"}]}
{"actor":{"display_login":"aa755"}}