{"push_id":1077264031,"size":3,"distinct_size":3,"ref":"refs/heads/development","head":"129f89293bbf2c7bf64db09feae51a420e34c0ab","before":"376cd8c9c6e4431214970de1db3594bcd7c393aa","commits":[{"sha":"286a9fa7eb5e9b5bbbfb026d752feba5a22e0149","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@inf.ethz.ch","name":"Dimitar Asenov"},"message":"Tweak an example query","distinct":true,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/286a9fa7eb5e9b5bbbfb026d752feba5a22e0149"},{"sha":"fd517772cb93664294cf9cba24a582866915322a","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@inf.ethz.ch","name":"Dimitar Asenov"},"message":"Hide the cursor when taking screenshots.\n\nIt used to be the case that we could just click somewhere else on\nscreen to get the cursor out of view, but now for some reason,\nif the cursor is no in view, taking a screenshot will include whitespace\nto also encompass the cursor location.","distinct":true,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/fd517772cb93664294cf9cba24a582866915322a"},{"sha":"129f89293bbf2c7bf64db09feae51a420e34c0ab","author":{"email":"d501cd23c11e852c20908e3c5e00de1cc030519e@inf.ethz.ch","name":"Dimitar Asenov"},"message":"Merge remote-tracking branch 'origin/development' into development","distinct":true,"url":"https://api.github.com/repos/dimitar-asenov/Envision/commits/129f89293bbf2c7bf64db09feae51a420e34c0ab"}]}