{"push_id":1381849330,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"987f8163a95c2edb8562564c514fbdc1fa32083d","before":"2c68ecc1f9109da9ed42d5d44db0c22badac93f9","commits":[{"sha":"987f8163a95c2edb8562564c514fbdc1fa32083d","author":{"name":"qunyanm","email":"8caafd756e8c93f9bfb272e1243dc8124c0807b2@hotmail.com"},"message":"When check for type equatablity, check for reference equality first.\n\nCloses #53.","distinct":true,"url":"https://api.github.com/repos/Microsoft/dafny/commits/987f8163a95c2edb8562564c514fbdc1fa32083d"}]}
{"actor":{"display_login":"qunyanm"}}