I agree. I assume however that on average there's enough open source pushed for each developer on github. Didn't see any stats or whatever, just a hunch feeling I got from years of using this platform.

As for the name... I replied to another comment. Please ctrl+f "GigHub" on this page to find it :)