🏗️🔧：point semgrep at the branch we have - #1831

🏗️🔧：point semgrep at the branch we have#1831

openinf-commit-queue[bot] merged 1 commit into

liveOpenINF/openinf.github.io:livefrom

fix/semgrep-default-branchOpenINF/openinf.github.io:fix/semgrep-default-branchCopy head branch name to clipboard