Add API documentation for the new repository ACLs.
Review Request #12541 — Created Aug. 16, 2022 and submitted — Latest diff uploaded
This is a simple change adding the new repository group, group list,
user, and user list API documentation to the user manual, under the
"Repository" section of the main resource index.
Built the docs and verified the resulting pages for each of the new
APIs.