GitHub

Repositories owned by GitHub, an organisation on GitHub.

How people build software.

2 tools

GitHub's Online Schema-migration Tool for MySQL

Compute various size metrics for a Git repository, flagging those that might cause problems