Add comments in the GitHub content source UI (#114766)

This commit is contained in:
Chenhui Wang 2021-10-14 23:44:47 +08:00 committed by GitHub
parent b304c1ca0b
commit 1155640779
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -253,12 +253,12 @@ export const SOURCE_OBJ_TYPES = {
defaultMessage: 'Bugs',
}),
ISSUES: i18n.translate('xpack.enterpriseSearch.workplaceSearch.sources.objTypes.issues', {
defaultMessage: 'Issues',
defaultMessage: 'Issues (including comments)',
}),
PULL_REQUESTS: i18n.translate(
'xpack.enterpriseSearch.workplaceSearch.sources.objTypes.pullRequests',
{
defaultMessage: 'Pull Requests',
defaultMessage: 'Pull Requests (including comments)',
}
),
REPOSITORY_LIST: i18n.translate(