Sync with Pro#476

semgrep-ci[bot] wants to merge 1 commit into

mainsemgrep/semgrep-interfaces:mainfrom

sync-with-pro-1780878512semgrep/semgrep-interfaces:sync-with-pro-1780878512Copy head branch name to clipboard