nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe Ah, good to hear! I was considering doing the same at Télécom Paris (before having even tried the hosted version 😜) given that there is a NixOS module! But maybe I should go step by step 😄
I don't know a lot about the AT protocol, so I was wondering about two things: does it matter what I choose for my initial identity provider? Is it easy to migrate, and should we also host an identity provider at my institution? Are repos easy to migrate from one knot to another?