git: delete directory