{"ref":"refs/heads/merge-checkpoint","commits":[{"author":{"name":"Tiark Rompf","email":"6e1ae88d775ea20a03479b59f0641fc09d9b92b4@epfl.ch"},"url":"https://api.github.com/repos/TiarkRompf/virtualization-lms-core/commits/da4aae820f6348d50f0474f7843efe26470c8627","message":"fix for struct if then else","sha":"da4aae820f6348d50f0474f7843efe26470c8627"}],"head":"da4aae820f6348d50f0474f7843efe26470c8627","size":1,"push_id":47784128}