From 6c81a46a02fb1489d97350ab406e6868c0e5605b Mon Sep 17 00:00:00 2001
From: fr33domlover <fr33domlover@riseup.net>
Date: Sat, 12 Oct 2019 19:38:29 +0000
Subject: [PATCH] List repo in Push recipients, it was accidentally not listed

---
 src/Vervis/API.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Vervis/API.hs b/src/Vervis/API.hs
index 73feb61..6575ac7 100644
--- a/src/Vervis/API.hs
+++ b/src/Vervis/API.hs
@@ -991,6 +991,7 @@ pushCommitsC (eperson, sharer) summary push shrRepo rpRepo = runExceptT $ do
         let shrUser = sharerIdent sharer
             aud = map encodeRouteHome
                     [ SharerFollowersR shrUser
+                    , RepoR shrRepo rpRepo
                     , RepoTeamR shrRepo rpRepo
                     , RepoFollowersR shrRepo rpRepo
                     ]