{"push_id":1036573819,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c1789958202512dd2693fbe7491800244b21d7c3","before":"5cf4229916717b0f73f611a443e255f7e2f7710e","commits":[{"sha":"c1789958202512dd2693fbe7491800244b21d7c3","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.4-SNAPSHOT","distinct":true,"url":"https://api.github.com/repos/goalhub/mvn-repo/commits/c1789958202512dd2693fbe7491800244b21d7c3"}]}