This server serves a few read-only Git repositories that do not fit well into our main repository.