Link to collaborator pages from repo and project pages

templates/project/one.hamlet

@@ -27,6 +27,11 @@ $# <http://creativecommons.org/publicdomain/zero/1.0/>.
   <li>
     <a href=@{TicketsR shar proj}>Tickets
 
+<h2>Collaborators
+
+<p>
+  <a href=@{ProjectDevsR shar proj}>Collaborators
+
 <h2>Repos
 
 $if null repos

templates/repo/source-darcs.hamlet

@@ -20,6 +20,9 @@ $maybe desc <- repoDesc repository
     <input type=hidden name=_method value=DELETE>
     <input type=submit value="Delete this repo">
 
+<p>
+  <a href=@{RepoDevsR user repo}>Collaborators
+
 <p>
   <a href=@{RepoHeadChangesR user repo}>Changes
 

templates/repo/source-git.hamlet

@@ -20,6 +20,9 @@ $maybe desc <- repoDesc repository
     <input type=hidden name=_method value=DELETE>
     <input type=submit value="Delete this repo">
 
+<p>
+  <a href=@{RepoDevsR user repo}>Collaborators
+
 <p>
   <a href=@{RepoHeadChangesR user repo}>Commits