From 67c26f89e87e621b659451378f12d543d1fcfcab Mon Sep 17 00:00:00 2001 From: Weves Date: Sun, 10 Sep 2023 09:31:11 -0700 Subject: [PATCH] Add new Github fields to FE --- web/src/app/admin/connectors/github/page.tsx | 4 ++++ web/src/lib/types.ts | 2 ++ 2 files changed, 6 insertions(+) diff --git a/web/src/app/admin/connectors/github/page.tsx b/web/src/app/admin/connectors/github/page.tsx index ac30dca23e..9354695f42 100644 --- a/web/src/app/admin/connectors/github/page.tsx +++ b/web/src/app/admin/connectors/github/page.tsx @@ -190,10 +190,14 @@ const Main = () => { repo_name: Yup.string().required( "Please enter the name of the repository to index e.g. danswer " ), + include_prs: Yup.boolean().required(), + include_issues: Yup.boolean().required(), })} initialValues={{ repo_owner: "", repo_name: "", + include_prs: true, + include_issues: true, }} refreshFreq={10 * 60} // 10 minutes onSubmit={async (isSuccess, responseJson) => { diff --git a/web/src/lib/types.ts b/web/src/lib/types.ts index b357e8ff60..c4f5f4ec09 100644 --- a/web/src/lib/types.ts +++ b/web/src/lib/types.ts @@ -61,6 +61,8 @@ export interface WebConfig { export interface GithubConfig { repo_owner: string; repo_name: string; + include_prs: boolean; + include_issues: boolean; } export interface GoogleDriveConfig {