White to move. Is this a win for white? How should white proceed?

This was an actual game that took place in Russia earlier. White decided to repeat moves a few moves later. Was it the correct decision?

Chess Daily News from Susan Polgar
Tags: ,