Pulled changes are contextually very far away, so it should be possible to merge them without user interaction.
But git still complains: $ git pull Updating 91bfe02..522ccf2error: Your local changes to the following files would be overwritten by merge:
x Yuri