🐛 enable semgrep tool name to be capitalized, as it is when run on GitHub actions

Author: ryandens

plugins/codemodder-plugin-semgrep/src/main/java/io/codemodder/providers/sarif/semgrep/SemgrepProvider.java

@@ -32,6 +32,6 @@ public Set<AbstractModule> getModules(
 
   @Override
   public List<String> wantsSarifToolNames() {
-    return List.of("semgrep");
+    return List.of("semgrep", "Semgrep");
   }
 }

plugins/codemodder-plugin-semgrep/src/main/java/io/codemodder/providers/sarif/semgrep/SemgrepRuleSarifFactory.java

@@ -12,7 +12,7 @@ public class SemgrepRuleSarifFactory implements RuleSarifFactory {
   @Override
   public Optional<RuleSarif> build(
       String toolName, String rule, SarifSchema210 sarif, Path repositoryRoot) {
-    if (SingleSemgrepRuleSarif.toolName.equals(toolName)) {
+    if (SingleSemgrepRuleSarif.toolName.equalsIgnoreCase(toolName)) {
       return Optional.of(new SingleSemgrepRuleSarif(rule, sarif, repositoryRoot));
     }
     return Optional.empty();