summary refs log tree commit diff
diff options
context:
space:
mode:
authorArun Isaac2025-12-01 18:43:59 +0000
committerPjotr Prins2026-01-05 11:12:11 +0100
commitad277de5a3934275822dc5fab9ec8e2ba9d6d3ad (patch)
tree9d97937950a1b89dba866e40cb47b7dc01c4e054
parentce2ee8b43ae772e987ed0ce5c05445611b27edf2 (diff)
downloadgn-gemtext-ad277de5a3934275822dc5fab9ec8e2ba9d6d3ad.tar.gz
Remove mention of GitLab.
-rw-r--r--topics/guix/guix-profiles.gmi8
1 files changed, 1 insertions, 7 deletions
diff --git a/topics/guix/guix-profiles.gmi b/topics/guix/guix-profiles.gmi
index 712d3da..335319c 100644
--- a/topics/guix/guix-profiles.gmi
+++ b/topics/guix/guix-profiles.gmi
@@ -57,10 +57,4 @@ From time to time, updates to upstream Guix break our guix-bioinformatics channe
 
 To this end, we hard-code the guix-bioinformatics channel to depend on a specific commit of upstream Guix that is tied to guix-bioinformatics. This is why the recommended channels.scm file above does not include a %default-guix-channel. However, this comes with the drawback that your entire system will be stuck at that specific commit of upstream Guix (but not if you use another profile as described above). We highly recommend using a separate `guix pull` profile specifically for GeneNetwork work, as described above.
 
-This scheme also comes with the added bonus that all members on the team and the continuous integration system will be using exactly the same Guix.
-
-## Notes
-
-We recently had to switch to gitlab because our git server went down on Penguin2. We may move to a cgit solution soon, see
-
-=> ../issues/cant-use-guix-bioinformatics-with-guix-pull.gmi
+This scheme also comes with the added bonus that all members on the team and the continuous integration system will be using exactly the same Guix.
\ No newline at end of file