improve naming due to codemod#4072

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

mengdilin:export-D66839818mengdilin/faiss:export-D66839818Copy head branch name to clipboard