no need to delete D D files on push/pull