diff --git a/ignored_repos.ini b/ignored_repos.ini index adbeaad4c6..c567351446 100644 --- a/ignored_repos.ini +++ b/ignored_repos.ini @@ -53,6 +53,7 @@ repos[] = "PretextView" repos[] = "PretextSnapshot" repos[] = "PretextGraph" repos[] = "auto-curation" +repos[] = "singularity-hpc" [ignore_topics]