ignore more non-pipeline Github repositories

sanger-tol · Apr 2, 2024 · 034de08 · 034de08
1 parent 25a3967
commit 034de08
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/ignored_repos.ini b/ignored_repos.ini
@@ -48,6 +48,11 @@ repos[] = "gap_portal"
 repos[] = "bioscan_quality_control"
 repos[] = "agp-tpf-utils"
 repos[] = "bioscan.cog"
+repos[] = "PretextMap"
+repos[] = "PretextView"
+repos[] = "PretextSnapshot"
+repos[] = "PretextGraph"
+repos[] = "auto-curation"
 
 
 [ignore_topics]