{"push_id":1324714101,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"711e304261dbf1c923c8ebdc5966ab523eaedce4","before":"bcd21c2eaabf72daac53e8d26511fd34b64fd135","commits":[{"sha":"711e304261dbf1c923c8ebdc5966ab523eaedce4","author":{"name":"Goalhub Jenkins","email":"61eb39d4445155efb6068840385577c11776cd20@ii.tudelft.nl"},"message":"Maven artifacts for JEdit editor modified for internal editor use in IDE version 1.1.6-SNAPSHOT","distinct":true,"url":"https://api.github.com/repos/goalhub/mvn-repo/commits/711e304261dbf1c923c8ebdc5966ab523eaedce4"}]}
{"actor":{"display_login":"goalhub-jenkins"}}