improve naming due to codemod#4071

mengdilin wants to merge 3 commits intofacebookresearch:mainfacebookresearch/faiss:mainfrom

mengdilin:export-D66839486mengdilin/faiss:export-D66839486Copy head branch name to clipboard