{"push_id":980853966,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"354f3ff6cd980bdd9fa69b99c04c99f894d4e0a4","before":"575c33139cbe936b10521edda2e1dadbaf9a0e2a","commits":[{"sha":"354f3ff6cd980bdd9fa69b99c04c99f894d4e0a4","author":{"email":"31838b1b7c5aaba0f0496e67b81f74faf2052fdf@vancura.org","name":"Vaclav Vancura"},"message":"[TextEditor] Themes: Removing obsolete color properties","distinct":true,"url":"https://api.github.com/repos/mono/monodevelop/commits/354f3ff6cd980bdd9fa69b99c04c99f894d4e0a4"}]}