{"push_id":737427937,"size":1,"distinct_size":1,"ref":"refs/heads/release-15.03","head":"87cab60643c3ccf29694ce8a374f377682104cf0","before":"d3c5e7113c2d7f83c92f7d4b31ea10e31790c052","commits":[{"sha":"87cab60643c3ccf29694ce8a374f377682104cf0","author":{"email":"1b129920f63cdbc7d60db0bb73323bd6a5051710@yahoo.co.uk","name":"Rob Hagemans"},"message":"by default, leave 15% of screen for desktop controls rather than 10%","distinct":true,"url":"https://api.github.com/repos/robhagemans/pcbasic/commits/87cab60643c3ccf29694ce8a374f377682104cf0"}]}