{"push_id":2844669059,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"08a1d621c199c44a45e27a89c72b6873d69e2b49","before":"695265c11b285025c2b228482923fbf2cbfb04bb","commits":[{"sha":"0d2cbec6a4278575a1dc2becc54453cfc67a6075","author":{"name":"idanb55","email":"e0d70e32dbf27bd0d8c077f6cbf6c5bff8b6305f@gmail.com"},"message":"added tableau size","distinct":true,"url":"https://api.github.com/repos/olifshitz/AutomaticVerification/commits/0d2cbec6a4278575a1dc2becc54453cfc67a6075"},{"sha":"73454bcf4bc94f58fbfc0e86ab400fa27ce61091","author":{"name":"idanb55","email":"e0d70e32dbf27bd0d8c077f6cbf6c5bff8b6305f@gmail.com"},"message":"added argument to choose wether to use the simplified form","distinct":true,"url":"https://api.github.com/repos/olifshitz/AutomaticVerification/commits/73454bcf4bc94f58fbfc0e86ab400fa27ce61091"},{"sha":"46fd7a86fe7586a34b049db6b997c3f5999f2416","author":{"name":"idanb55","email":"e0d70e32dbf27bd0d8c077f6cbf6c5bff8b6305f@gmail.com"},"message":"ignoring latex build files","distinct":true,"url":"https://api.github.com/repos/olifshitz/AutomaticVerification/commits/46fd7a86fe7586a34b049db6b997c3f5999f2416"},{"sha":"08a1d621c199c44a45e27a89c72b6873d69e2b49","author":{"name":"idanb55","email":"e0d70e32dbf27bd0d8c077f6cbf6c5bff8b6305f@gmail.com"},"message":"added abstract and final","distinct":true,"url":"https://api.github.com/repos/olifshitz/AutomaticVerification/commits/08a1d621c199c44a45e27a89c72b6873d69e2b49"}]}
{"actor":{"display_login":"idanb55"}}