sync_default_gems.rb: Deal with conflicts on ignored files

that do not exist in the ruby/ruby side.

This resurrects a line that had existed prior to #8329.

1 files changed, 1 insertions, 0 deletions

diff --git a/tool/sync_default_gems.rb b/tool/sync_default_gems.rb
index 2879ff6081..fcfb06047e 100755
--- a/tool/sync_default_gems.rb
+++ b/tool/sync_default_gems.rb
@@ -602,6 +602,7 @@ module SyncDefaultGems
 
     unless ignore.empty?
       puts "Reset ignored files: #{ignore.join(', ')}"
+      system(*%W"git rm -r --", *ignore)
       system(*%W"git checkout -f", base, "--", *ignore)
     end