{"push_id":598768616,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"1879e02da34ab04afe39dc60cf7f385234e6f893","before":"f7f3fba9901d433610df9229a592870bdb10c9e9","commits":[{"sha":"75c4cebe96bf57a17ade88d08680eea15825c531","author":{"email":"1791bd619f7bd1005a29c3d4c45fce0630a0d264@gmail.com","name":"David Bau"},"message":"Update to latest libraries.","distinct":true,"url":"https://api.github.com/repos/PencilCode/pencilcode/commits/75c4cebe96bf57a17ade88d08680eea15825c531"},{"sha":"1879e02da34ab04afe39dc60cf7f385234e6f893","author":{"email":"1791bd619f7bd1005a29c3d4c45fce0630a0d264@gmail.com","name":"David Bau"},"message":"Put paneboxes over panes.\n\nBy changing the top-level DOM structure of the panes this way, we\ncan allow UI from the panes to overflow out of the pane over to\nthe title, while still setting overflow:hidden on the panebox\ncontaining both the pane and the panetitle.   We will use this\nfor adding extra UI attached to the droplet palette.","distinct":true,"url":"https://api.github.com/repos/PencilCode/pencilcode/commits/1879e02da34ab04afe39dc60cf7f385234e6f893"}]}