Right now it is duplicated in (and loaded from) this repo.
The new public repo will be the place that people submit pull requests for API changes. Once you create the repo you'll also need to point a link to it in the Contributing section of the docs.