GitHub repository: open-mpi/ompi-infrastructure-test
Description: Repo for testing the various bots and integrations with OMPI's GitHub repo.  There's nothing interesting in this repo, but it does build fast for tests...