git-gui: Remove no longer used pull from remote code.