{"push_id":1352946109,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"8b89e944f8a8d1e120f1f090790f591ccf900895","before":"0b092a992897d5a6a1908dd28a2ba77a88067269","commits":[{"sha":"1003c236f0c8d33059f1e2276a25d0d3bc180ca5","author":{"name":"qunyanm","email":"8caafd756e8c93f9bfb272e1243dc8124c0807b2@hotmail.com"},"message":"Handle warnShadowing attribute on methods/lemmas\n\nCloses #42.","distinct":true,"url":"https://api.github.com/repos/BarryBo/dafny/commits/1003c236f0c8d33059f1e2276a25d0d3bc180ca5"},{"sha":"67ed011a2432e28b926191eafc1282602d6dc000","author":{"name":"Jay Lorch","email":"364c3f138f15adf8126c999d19c953ad540e159f@microsoft.com"},"message":"Merge remote-tracking branch 'upstream/master'","distinct":true,"url":"https://api.github.com/repos/BarryBo/dafny/commits/67ed011a2432e28b926191eafc1282602d6dc000"},{"sha":"40462aa58426d0011c21e5b5251a0dcf74392839","author":{"name":"BarryBo","email":"b2c8ad2a02ae66c0b88f141fd974b90b105903c2@microsoft.com"},"message":"Merge remote-tracking branch 'upstream/master'","distinct":true,"url":"https://api.github.com/repos/BarryBo/dafny/commits/40462aa58426d0011c21e5b5251a0dcf74392839"},{"sha":"8b89e944f8a8d1e120f1f090790f591ccf900895","author":{"name":"BarryBo","email":"b2c8ad2a02ae66c0b88f141fd974b90b105903c2@microsoft.com"},"message":"Kremlin v16 schema\n\nSync to Kremlin v16 schema","distinct":true,"url":"https://api.github.com/repos/BarryBo/dafny/commits/8b89e944f8a8d1e120f1f090790f591ccf900895"}]}
{"actor":{"display_login":"BarryBo"}}