How does one add an GitHub organization? Just created https://github.com/lean-packages.
GitHublean-packageslean-packages has 3 repositories available. Follow their code on GitHub.
Commit
95165c4
I think you have to @ them, so that they get imported, let's try it out @lean-packages
commit 95165c4