{"push_id":1026393764,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"c8aa222fba61c844f3461ddef7946543bb3cb60f","before":"2a69503f64a94cd497c71bf6b93237efda8076f4","commits":[{"sha":"c8aa222fba61c844f3461ddef7946543bb3cb60f","author":{"email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none","name":"rtri"},"message":"fix bug in gl.DeleteShader\nwas not safe to call multiple times in a row with\nthe same ID, which BAR's Highlight Unit widget did","distinct":true,"url":"https://api.github.com/repos/spring/spring/commits/c8aa222fba61c844f3461ddef7946543bb3cb60f"}]}