tidy up public repo#103

KRRT7 wants to merge 1 commit intomaincodeflash-ai/codeflash:mainfrom

clean-up-maincodeflash-ai/codeflash:clean-up-mainCopy head branch name to clipboard