The .repos directory is used to maintain a local checkout
of all repos needed to build the documentation.
