bash: git remove deleted files