[Bug 1234616] git pull sometimes deletes folder contents