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