{"push_id":1201447834,"size":1,"distinct_size":1,"ref":"refs/heads/fbs-type-sound","head":"8834a9b292697bfdb1cc667d4992a2a5d3b4aa07","before":"6b3716e5aaabeee59e5bd7dff29221280c841b34","commits":[{"sha":"8834a9b292697bfdb1cc667d4992a2a5d3b4aa07","author":{"name":"Scott Owens","email":"ea395d97a25a583bc0310e7649efb139391b6777@kent.ac.uk"},"message":"Remove the type_vs relation. Use LIST_REL type_v.","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/8834a9b292697bfdb1cc667d4992a2a5d3b4aa07"}]}
{"actor":{"display_login":"SOwens"}}