feat(sms): use internal ID instead of SCM id to better isolate systems

semgrep · Nov 5, 2024 · 946d0fe · 946d0fe
1 parent b690925
commit 946d0fe
Show file tree

Hide file tree

Showing 7 changed files with 60 additions and 48 deletions.
diff --git a/semgrep_output_v1.atd b/semgrep_output_v1.atd
@@ -1423,8 +1423,8 @@ type scan_metadata = {
   requested_products: product list;
   ~dry_run: bool; (* from 1.47.0 *)
   (* since 1.96.0 *)
-  (* unique id associated with the scan run in the source control manager (e.g. github or gitlab) *)
-  ?scm_run_id: string option;
+  (* unique id associated with the scan in Semgrep Managed Scanning *)
+  ?sms_scan_id: string option;
 }
 
 (* Sent by the CLI to the POST /api/cli/scans to create a scan. *)

diff --git a/semgrep_output_v1.jsonschema b/semgrep_output_v1.jsonschema
diff --git a/semgrep_output_v1.proto b/semgrep_output_v1.proto
diff --git a/semgrep_output_v1.py b/semgrep_output_v1.py
diff --git a/semgrep_output_v1.ts b/semgrep_output_v1.ts
diff --git a/semgrep_output_v1_j.ml b/semgrep_output_v1_j.ml
diff --git a/semgrep_output_v1_j.mli b/semgrep_output_v1_j.mli