import * as React from 'react'; import { RouteComponentProps } from 'react-router'; import * as GQL from '../../backend/graphqlschema'; interface Props extends RouteComponentProps { repo: GQL.IRepository; user: GQL.IUser; onDidUpdateRepository: (update: Partial) => void; } interface State { /** * The repository object, refreshed after we make changes that modify it. */ repo: GQL.IRepository; loading: boolean; error?: string; } /** * The repository settings options page. */ export declare class RepoSettingsOptionsPage extends React.PureComponent { private repoUpdates; private subscriptions; constructor(props: Props); componentDidMount(): void; componentWillUnmount(): void; render(): JSX.Element | null; private enableRepository; private disableRepository; private deleteRepository; } export {}; //# sourceMappingURL=RepoSettingsOptionsPage.d.ts.map