Commit

How does one add an GitHub organization? Just created https://github.com/lean-packageslean-packages.

I think you have to @ them, so that they get imported, let's try it out @lean-packages

@NeoTech-Software Lets see if this works.