[ admin ] move containers to idris-community (#183)

stefan-hoeck · Jan 8, 2025 · 2fc9bc7 · 2fc9bc7
1 parent f1e9788
commit 2fc9bc7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/collections/HEAD.toml b/collections/HEAD.toml
@@ -121,7 +121,7 @@ ipkg   = "comonad.ipkg"
 
 [db.containers]
 type = "github"
-url  = "https://github.com/stefan-hoeck/idris2-containers"
+url  = "https://github.com/idris-community/idris2-containers"
 commit = "main"
 ipkg = "containers.ipkg"