Feat/zoekt binary index#760

sudhanshu112233shukla wants to merge 2 commits intosourcebot-dev:mainsourcebot-dev/sourcebot:mainfrom

sudhanshu112233shukla:feat/zoekt-binary-indexsudhanshu112233shukla/sourcebot:feat/zoekt-binary-indexCopy head branch name to clipboard