{"push_id":737046015,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9e43a9a1b6fd3b39a234c7f97b1067ac496f13f8","before":"441195d0bf5c33df1aa20bc3197055d3856d2721","commits":[{"sha":"9e43a9a1b6fd3b39a234c7f97b1067ac496f13f8","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/9e43a9a1b6fd3b39a234c7f97b1067ac496f13f8"}]}