{"push_id":940663062,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"2e95f32b187d91c8616c213f243ddd4432e43bcc","before":"420daf3d0fe1d6995ad6683d9b027134daacfac4","commits":[{"sha":"2e95f32b187d91c8616c213f243ddd4432e43bcc","author":{"email":"590eb1682cf1b1b3434639a6e46221d8cc75fb31@quicknet.nl","name":"Vincent Koeman"},"message":"add new preference to skip the goal-achieved cycle-breakpoint","distinct":true,"url":"https://api.github.com/repos/goalhub/eclipse/commits/2e95f32b187d91c8616c213f243ddd4432e43bcc"}]}