{"push_id":675195949,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"da676044302e508d4766f12d862cd688d691ad6b","before":"2ceb46c8bea0d469c3bbe6ec1bb831b6738aecc9","commits":[{"sha":"da676044302e508d4766f12d862cd688d691ad6b","author":{"email":"c4fe2b1d90ef8f2548c8aeabfa633434316f0305@jhu.edu","name":"Cody Russell"},"message":"Revert \"[gtk] Editor tooltip style comes from gtkrc now.\"\n\nThis reverts commit 053589f3fa2d0d1ab3c48c9c44168531747ea1d2.","distinct":true,"url":"https://api.github.com/repos/iainx/monodevelop/commits/da676044302e508d4766f12d862cd688d691ad6b"}]}