{"push_id":2721145093,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"69df1e6fcca258be85b6039ba6f26cd22d26cc08","before":"207e7cba17874598e0cc1cba3e8ac32153ca8038","commits":[{"sha":"69df1e6fcca258be85b6039ba6f26cd22d26cc08","author":{"name":"Jip J. Dekker","email":"88166a23586b60e09ee114f3628992beac9e033f@dekker.one"},"message":"Add build number to the about window","distinct":true,"url":"https://api.github.com/repos/MiniZinc/MiniZincIDE/commits/69df1e6fcca258be85b6039ba6f26cd22d26cc08"}]}
{"actor":{"display_login":"Dekker1"}}