{"push_id":2791330244,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"86371e2cb009535c60354a9e9919e507b086216e","before":"ab5faf9541e833ab05a5e5c70a3b7c72b7f7aece","commits":[{"sha":"86371e2cb009535c60354a9e9919e507b086216e","author":{"name":"Jan Friso Groote","email":"e8376b6246f5a692c3462f7a50242f51e8841464@tue.nl"},"message":"Minor change in the developer index page for the mcrl2.org website.","distinct":true,"url":"https://api.github.com/repos/mCRL2org/mCRL2/commits/86371e2cb009535c60354a9e9919e507b086216e"}]}
{"actor":{"display_login":"jgroote"}}