Add new Github fields to FE

This commit is contained in:
Weves 2023-09-10 09:31:11 -07:00 committed by Chris Weaver
parent f34f373b08
commit 67c26f89e8
2 changed files with 6 additions and 0 deletions

View File

@ -190,10 +190,14 @@ const Main = () => {
repo_name: Yup.string().required( repo_name: Yup.string().required(
"Please enter the name of the repository to index e.g. danswer " "Please enter the name of the repository to index e.g. danswer "
), ),
include_prs: Yup.boolean().required(),
include_issues: Yup.boolean().required(),
})} })}
initialValues={{ initialValues={{
repo_owner: "", repo_owner: "",
repo_name: "", repo_name: "",
include_prs: true,
include_issues: true,
}} }}
refreshFreq={10 * 60} // 10 minutes refreshFreq={10 * 60} // 10 minutes
onSubmit={async (isSuccess, responseJson) => { onSubmit={async (isSuccess, responseJson) => {

View File

@ -61,6 +61,8 @@ export interface WebConfig {
export interface GithubConfig { export interface GithubConfig {
repo_owner: string; repo_owner: string;
repo_name: string; repo_name: string;
include_prs: boolean;
include_issues: boolean;
} }
export interface GoogleDriveConfig { export interface GoogleDriveConfig {