{"push_id":2309730321,"size":1,"distinct_size":1,"ref":"refs/heads/model-and-field-validation","head":"1f42037e168169b04c910ec65c7da19493bed04f","before":"aa51ca0eaa6214d4bb4039ad4f3bede8618a9820","commits":[{"sha":"1f42037e168169b04c910ec65c7da19493bed04f","author":{"name":"Sebastian Eder","email":"612e11944a7b5bd55d6b98aa66d795c097a0e9e9@in.tum.de"},"message":"Minor","distinct":true,"url":"https://api.github.com/repos/junkerm/specmate/commits/1f42037e168169b04c910ec65c7da19493bed04f"}]}
{"actor":{"display_login":"sebeder"}}