Merge pull request #9925 from kraktus/zulip_dox_note_admin

Make admin zulip notes doxy
pull/9928/head
Thibault Duplessis 2021-10-03 17:35:28 +02:00 committed by GitHub
commit 8492f986da
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 1 deletions

View File

@ -45,7 +45,13 @@ final class IrcApi(
}
.flatMap {
_ ?? { ZulipLink =>
noteApi.write(user, s"$domain discussion: $ZulipLink", mod.user, modOnly = true, dox = false)
noteApi.write(
user,
s"$domain discussion: $ZulipLink",
mod.user,
modOnly = true,
dox = (domain == ModDomain.Admin)
)
}
}
}