{"push_id":2841122174,"size":1,"distinct_size":1,"ref":"refs/heads/fixPreferences","head":"89b2e829f4f7990c345dd0542e1ee613bf2c8fca","before":"d185caa442332b61c0390e0e698c562fb231634a","commits":[{"sha":"89b2e829f4f7990c345dd0542e1ee613bf2c8fca","author":{"name":"Igor Vinokur","email":"71b24d3f2fd3a6273eb5a7c9c1994637ea5d4eed@redhat.com"},"message":"fix#2679 Update preferences after setting new value\n\nSigned-off-by: Igor Vinokur <ivinokur@redhat.com>","distinct":true,"url":"https://api.github.com/repos/theia-ide/theia/commits/89b2e829f4f7990c345dd0542e1ee613bf2c8fca"}]}
{"actor":{"display_login":"vinokurig"}}