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