{"push_id":557850766,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ba7895a7ee9f8ec8e210e3cda1810c17318cf384","before":"1d6f4aff1fb781d081a5609abee6cced04297c45","commits":[{"sha":"ba7895a7ee9f8ec8e210e3cda1810c17318cf384","author":{"email":"88126b5a3d76efaf7d6ea66ccd7277860f253774@gmail.com","name":"Artem Tikhomirov"},"message":"MPS-21266 Problem with project pane updating 'generation required' status while in dumb mode (tries to get indices): IndexNotReadyException.\nDumb mode behavior changed: instead of waiting for 'smart' mode (which doesn't guarantee anything), we stop update immediately as we notice dumb mode. End of dumb mode triggers status update anyway. Other visitors seem to be tolerant to dumb mode (unless otherwise noticed).\nAs long as there are chances to get to DigestProvider during  dumb/indexing mode, treat IndexNotReadyException as a normal scenario and don't report it as error.","distinct":true,"url":"https://api.github.com/repos/JetBrains/MPS/commits/ba7895a7ee9f8ec8e210e3cda1810c17318cf384"}]}