Perform rescan for github.com/google/or-tools/pull/4122?