{"ref":"refs/heads/master","commits":[{"author":{"name":"Martin Bodin","email":"5cf1df1386c80b5aca74ed9aaa98fcd91369aa3f@student.liu.se"},"sha":"67cb228201e098f822ffd7d3b2104d63f0600a7f","message":"Fixed type comparison bug","url":"https://api.github.com/repos/net4all/SMT-Tddc67/commits/67cb228201e098f822ffd7d3b2104d63f0600a7f"}],"head":"67cb228201e098f822ffd7d3b2104d63f0600a7f","push_id":52806874,"size":1}