Documentation: Add link to community managers list

Bug: Issue 11050
Change-Id: Ia7a7331a9fd6368f7e7c364bcd0636cb736042ba
diff --git a/Documentation/dev-roles.txt b/Documentation/dev-roles.txt
index e8af156..e9d42db 100644
--- a/Documentation/dev-roles.txt
+++ b/Documentation/dev-roles.txt
@@ -277,7 +277,9 @@
 == Community Manager
 
 Community managers should act as stakeholders for the Gerrit community
-and focus on the health of the community.
+and focus on the health of the community. Refer to the project homepage
+for the link:https://www.gerritcodereview.com/members.html#community-managers[
+list of current community managers].
 
 Tasks: