Good thing he has Git Extensions. So easy to remove ;)