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