{"push_id":801597498,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"aab3622e0e6fb213fa9eddb5a981af01fd014f7f","before":"95b3a2c1c39a593d7f6d467b7f2f8e4a95404caa","commits":[{"sha":"aab3622e0e6fb213fa9eddb5a981af01fd014f7f","author":{"email":"d95b56ce41a2e1ac4cecdd398defd7414407cc08@ii.tudelft.nl","name":"Goalhub Jenkins"},"message":"Maven artifacts for GOAL Grammar Tools version 1.1.8","distinct":true,"url":"https://api.github.com/repos/goalhub/mvn-repo/commits/aab3622e0e6fb213fa9eddb5a981af01fd014f7f"}]}