{"push_id":4453277798,"size":2,"distinct_size":2,"ref":"refs/heads/sml-to-coq-with-hamlet","head":"de61d462ed8f73f64ba58a3fb239653d2bb95ae9","before":"f126737c3157c6a1c7eb9b5774bd41cfa2b449f0","commits":[{"sha":"5121a08e86617f7ca99e2dbcafb12a47f5a90d11","author":{"name":"LailaElbeheiry","email":"523b0fa643073638bce2d92dd072f1d51039f36d@gmail.com"},"message":"Revert \"Delete updates.txt\"\n\nThis reverts commit 86455c5db87677a4bc5bcdb1d85ce7300456feb9.","distinct":true,"url":"https://api.github.com/repos/meta-logic/sml-to-coq/commits/5121a08e86617f7ca99e2dbcafb12a47f5a90d11"},{"sha":"de61d462ed8f73f64ba58a3fb239653d2bb95ae9","author":{"name":"LailaElbeheiry","email":"523b0fa643073638bce2d92dd072f1d51039f36d@gmail.com"},"message":"Organize files","distinct":true,"url":"https://api.github.com/repos/meta-logic/sml-to-coq/commits/de61d462ed8f73f64ba58a3fb239653d2bb95ae9"}]}
{"actor":{"display_login":"LailaElbeheiry"}}