Rename github-database-prompt to github-database-download

This commit is contained in:
Koen Vlaswinkel
2023-11-20 13:37:05 +01:00
parent feca898c85
commit 9dd061b2c8
3 changed files with 2 additions and 2 deletions

View File

@@ -9,7 +9,7 @@ import {
CodeqlDatabase,
downloadDatabaseFromGitHub,
findGitHubDatabasesForRepository,
} from "./github-database-prompt";
} from "./github-database-download";
import { GitHubDatabaseConfig, GitHubDatabaseConfigListener } from "../config";
import { DatabaseManager } from "./local-databases";
import { CodeQLCliServer } from "../codeql-cli/cli";

View File

@@ -5,7 +5,7 @@ import {
askForGitHubDatabaseDownload,
CodeqlDatabase,
downloadDatabaseFromGitHub,
} from "../../../../src/databases/github-database-prompt";
} from "../../../../src/databases/github-database-download";
import { DatabaseManager } from "../../../../src/databases/local-databases";
import { GitHubDatabaseConfig } from "../../../../src/config";
import { CodeQLCliServer } from "../../../../src/codeql-cli/cli";