{"push_id":542486448,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"24567d0664cbadca6d646e2eb8ee9dfdd6802a62","before":"a988b54ce1d76a26ca36998b42a045cd024b01ed","commits":[{"sha":"24567d0664cbadca6d646e2eb8ee9dfdd6802a62","author":{"email":"c7874255f334d833953e16311ccb67145ec9caff@gmail.com","name":"Gabriel Konat"},"message":"Add interface for resource changes, and implement an offline resource change monitor.","distinct":true,"url":"https://api.github.com/repos/metaborg/spoofax/commits/24567d0664cbadca6d646e2eb8ee9dfdd6802a62"}]}