{"push_id":742883081,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7f88fce3fc93205f0c0bd06aea14e7921e99b7f2","before":"989099da956745c4e187e4699b6d1f877087b02d","commits":[{"sha":"7f88fce3fc93205f0c0bd06aea14e7921e99b7f2","author":{"email":"bd810ced3dcd9e137edadcdadc751206c5156295@n-fuse.de","name":"thoppe"},"message":"Enlarged paddings and font size of menu items","distinct":true,"url":"https://api.github.com/repos/vcl/navigation/commits/7f88fce3fc93205f0c0bd06aea14e7921e99b7f2"}]}