Hello everyone, I'm happy to announce that as of today I have been granted commit access to the Guix repository! With this, I plan on helping push more contributions past the finish line, by reviewing and committing them whenever they are in good shape. My key's fingerprint is 3924 8CD8 41C6 3CC3 36DC AF2F 505E 40B9 1617 1A8A, and you can find it either at [1], attached here or on your favorite keyserver! You can find me on IRC (my nick is jpoiret), where I try to help people with any issues they might run into with Guix, or working on Guix core packages and internals. By day I'm also a mathematician working on type theory, proof assistants, logic and higher categories, and I happen to use Guix to work on Agda, although it hasn't caught on quite yet :) [1] https://jpoiret.xyz/jpoiret.pub See you soon, -- Josselin Poiret