{"push_id":562131070,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0a002a5230ebeee812c70890c25f10b0d9c35d5d","before":"ba30260c93acd11f5312e054ffb27a85e870cd0d","commits":[{"sha":"0a002a5230ebeee812c70890c25f10b0d9c35d5d","author":{"email":"d95b56ce41a2e1ac4cecdd398defd7414407cc08@ii.tudelft.nl","name":"Goalhub Jenkins"},"message":"Maven artifacts for JEdit editor modified for internal editor use in IDE version 1.1.0-SNAPSHOT","distinct":true,"url":"https://api.github.com/repos/goalhub/mvn-repo/commits/0a002a5230ebeee812c70890c25f10b0d9c35d5d"}]}