RE: https://hachyderm.io/@BoydStephenSmithJr/116298200584577447

Anyone out there with some opinions on both @codeberg and @gitlab particularly for developing #Haskell, #Idris, #Lean, or #Agda ? If you can,, please address my concerns in the quoted toot.