improve naming due to codemod#4067

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

mengdilin:export-D66823751mengdilin/faiss:export-D66823751Copy head branch name to clipboard