{"push_id":724245327,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"96f57233e431d2cb8f54a4d9f351a3a9a859b694","before":"135c3a6c3ede69b82898f84f7997969b2e84a3d2","commits":[{"sha":"96f57233e431d2cb8f54a4d9f351a3a9a859b694","author":{"email":"66103e65c7893e2702853ac700df9599c5092236@gmail.com","name":"Michael"},"message":"Merge pull request #139 from StefanoRaggi/master\n\nFaster conversions from string to decimal,int,long\r\n\r\nThanks @StefanoRaggi for more awesome performance improvements!","distinct":true,"url":"https://api.github.com/repos/StefanoRaggi/Lean/commits/96f57233e431d2cb8f54a4d9f351a3a9a859b694"}]}