mirror of
https://code.sup39.dev/repos/Wqawg
synced 2024-12-29 14:54:51 +09:00
List repo in Push recipients, it was accidentally not listed
This commit is contained in:
parent
16cde4b4c2
commit
6c81a46a02
1 changed files with 1 additions and 0 deletions
|
@ -991,6 +991,7 @@ pushCommitsC (eperson, sharer) summary push shrRepo rpRepo = runExceptT $ do
|
||||||
let shrUser = sharerIdent sharer
|
let shrUser = sharerIdent sharer
|
||||||
aud = map encodeRouteHome
|
aud = map encodeRouteHome
|
||||||
[ SharerFollowersR shrUser
|
[ SharerFollowersR shrUser
|
||||||
|
, RepoR shrRepo rpRepo
|
||||||
, RepoTeamR shrRepo rpRepo
|
, RepoTeamR shrRepo rpRepo
|
||||||
, RepoFollowersR shrRepo rpRepo
|
, RepoFollowersR shrRepo rpRepo
|
||||||
]
|
]
|
||||||
|
|
Loading…
Reference in a new issue