Fixing rgit pull (should not have removed rgit_do