Michał Zegan, le lun. 21 déc. 2020 23:12:11 +0100, a ecrit: > Just one note: it may not be important enough, but whatever the problem > may or may not be with github, it is far more accessible as a site than > gitlab. Ah, that's an important point. Do people agree on this? Samuel