{"push_id":902386967,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f0581d72a1b6209142243c7aa498f93b9848c45a","before":"d67dbe5b6af462416b528e08ae996ef4fd4d08e5","commits":[{"sha":"f0581d72a1b6209142243c7aa498f93b9848c45a","author":{"email":"63ea0318c1f54bf4b1acefe43bfdbd5c930a64b3@a1.net","name":"seimes"},"message":"Added an interpolation example to the user manual.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/f0581d72a1b6209142243c7aa498f93b9848c45a"}]}