chore: update default image to develop.

this isn't really the default image - it's overwritten by the workflow, but it's a helpful pointer.
semgrep · Jul 11, 2022 · b0ccac7 · b0ccac7
1 parent cd7d0e9
commit b0ccac7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/semgrep-docker-image-tag.txt b/semgrep-docker-image-tag.txt
@@ -1 +1 @@
-edge
+develop