/** * A GitHub App install request this browser sent for a workspace. * * A GitHub organization member who isn't an owner can only *request* the * Opengeni app; GitHub then asks the organization owners to approve. GitHub * never tells Opengeni which workspace the request was for, and an approved * install is never connected to a workspace automatically (an organization * owner connects it from Opengeni). So this is a display hint only, kept in this * browser: it lets the GitHub card say "waiting for an owner" instead of * offering the same dead end again. It grants nothing and is cleared once the * workspace's GitHub connection exists. */ /** Fired on this window when the hint changes; other tabs see a `storage` event. */ export declare const GITHUB_INSTALL_REQUEST_EVENT = "opengeni:github-install-request"; /** Owners can take a while; after this the hint quietly disappears. */ export declare const GITHUB_INSTALL_REQUEST_TTL_MS: number; export declare function recordGitHubInstallRequest(workspaceId: string, options?: { storage?: Storage | null | undefined; now?: number | undefined; }): void; /** When this browser last requested a GitHub install for the workspace, if recently. */ export declare function readGitHubInstallRequest(workspaceId: string, options?: { storage?: Storage | null | undefined; now?: number | undefined; }): number | null; export declare function clearGitHubInstallRequest(workspaceId: string, options?: { storage?: Storage | null | undefined; now?: number | undefined; }): void; /** Re-read the hint when it changes in this tab or another one. */ export declare function subscribeGitHubInstallRequests(listener: () => void): () => void;