{"push_id":701211917,"size":1,"distinct_size":1,"ref":"refs/heads/ram-local","head":"d62352190f8c713b6f9e913ff940e269d2356915","before":"f4078d39153e47f1a9d47b39a5b003d4ddbcc388","commits":[{"sha":"d62352190f8c713b6f9e913ff940e269d2356915","author":{"email":"9d740d804f394597c84e3a5e3a64038888e0f4e4@alice.it","name":"Stefano Raggi"},"message":"Made GetRamAllocation private","distinct":true,"url":"https://api.github.com/repos/StefanoRaggi/Lean/commits/d62352190f8c713b6f9e913ff940e269d2356915"}]}