Update index.json#4

MJ41739 wants to merge 1 commit intodevtayade:maindevtayade/example-HF-repo:mainfrom

MJ41739:mainMJ41739/example-HF-repo:mainCopy head branch name to clipboard