repo: add a workaround for merging repo views with Google's index

repo: add a workaround for merging repo views with Google's index #7593