
        Issue #15725: Skip git ignored files in update-manifest.

34d77d7