diff --git a/develversion.conf b/develversion.conf
index b3b56db..3305013 100644
--- a/develversion.conf
+++ b/develversion.conf
@@ -1,3 +1,4 @@
+basiliskii-git
 buildhosts-git
 cheat-bash-git
 cjdns-git