{"push_id":1330628255,"size":1,"distinct_size":1,"ref":"refs/heads/origin-next","head":"1b0fb81afbf6e77284acb8185c677905e52b29d0","before":"669918f45bae29c098ce3b1e885437e4a0c7ebcf","commits":[{"sha":"1b0fb81afbf6e77284acb8185c677905e52b29d0","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"Travis: since caching now works on OSX; compile mCRL2 ourselves.\n\nAlso, this is necessary, because for some reason the precompiled binaries\nfrom the mCRL2 website don't work anymore.","distinct":true,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/1b0fb81afbf6e77284acb8185c677905e52b29d0"}]}
{"actor":{"display_login":"Meijuh"}}