{"push_id":729312241,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"4e5a6dd2cf53f49de700fb9c93808b3582143b9d","before":"11254ca4264292ee666395ea73817759c74659e4","commits":[{"sha":"4e5a6dd2cf53f49de700fb9c93808b3582143b9d","author":{"email":"5d812120a4f6928a502a7692fee0c6da8aa9bc75@gmail.com","name":"Tom Wiesing"},"message":"Fixed bug for selects","distinct":true,"url":"https://api.github.com/repos/KWARC/KAT/commits/4e5a6dd2cf53f49de700fb9c93808b3582143b9d"}]}