{"push_id":909044673,"size":1,"distinct_size":1,"ref":"refs/heads/vdw-master","head":"8ecdb506889533d77f3d8ce66a4ae4e7345a0ea9","before":"df0eec0f8268100585b851d8a051e9345ec8d138","commits":[{"sha":"8ecdb506889533d77f3d8ce66a4ae4e7345a0ea9","author":{"email":"aa2aac36cb6060ce90d0e61a83dd87c368c09249@gmail.com","name":"Maria Michou"},"message":"Implemented slider bar items as text boxes in Control bar\n-- Due to lack of implementation in GWT core API, slider bar items\nare shown as popup text boxes.","distinct":true,"url":"https://api.github.com/repos/mariamichou/webprotege/commits/8ecdb506889533d77f3d8ce66a4ae4e7345a0ea9"}]}