***zimoun` is now known as zimoun
<zimoun>it seems easy-build on the top of Gentoo with a filesystem I have never heard. <PurpleSym>As for PR/proper cooperation: That would have to involve my management. Not sure how it would work for rekado and you. <civodul>ah public relations, not pull requests <civodul>i'm fine with you managing it, if that's what you mean? <PurpleSym>No, civodul, you wrote “it should be presented as an announcement of several research institutes joining forces and calling for contributions”. That would be something I cannot decide by myself. <rekado>ah, now I understand “my management” <civodul>i see two ways: either a statement clearly involving the institutes, in which case the bosses of each institute need to approve <civodul>or a statement saying the inviduals from institutes X, Y, and Z are collaborating on the repo <civodul>the former would be nice but may require too much energy for what it's worth <civodul>since i'm not contributing so far, that's something for the three/four of you to figure out :-) <rekado>I think the latter is close enough and may be read as the former if we don’t draw that much attention to it <zimoun>I do not know if I will be able to contribute but if it helps for the latter, feel free to add me. :-) <PurpleSym>Yeah, I prefer to start small and technical. <PurpleSym>zimoun: What’s your handle on GitHub? I’d add you to the GitHub org and .guix-authorizations. <zimoun>PurpleSym: my username is zimoun (as almost everywhere :-)). However, I have not GPG stuff… I really need to create one but I always forgetting my password. :-) <civodul>if you think it's OK like this, i'm happy to apply the patches so it gets published <civodul>the twitter account is still suspended and now it's marked as "0 Following 0 Followers"