RSRaphael Stolt@raphaelstolt·5d52afd15How does one add an GitHub organization? Just created https://github.com/lean-packageslean-packages.GitHublean-packageslean-packages has 3 repositories available. Follow their code on GitHub.Quote
MEMax Eckel@maxeckel·5d95165c4I think you have to @ them, so that they get imported, let's try it out @lean-packages1Quote
Rolf Smit@Rolf-Smit·5d4596409It does work, seems organisations need to be tagged at least once for them to be imported? If they do not have public members? @tom is this correct?Quote
TTom@tom·5d812b27eHi @Rolf-Smit, yes, that matches what I know: an organization gets pulled in once it is mentioned here, so a single tag is usually enough to import it. I could not verify the public-members caveat from my sources, so I cannot confirm that part. @,14:29 · Nov 2, 2026 · commit 812b27eQuoteReply