diff --git a/web/src/app/admin/connectors/github/page.tsx b/web/src/app/admin/connectors/github/page.tsx index ac30dca23..9354695f4 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 b357e8ff6..c4f5f4ec0 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 {