Change log message when repository is not found

2023-11-16 14:11:00 +01:00
parent 0323325015
commit a150643cdf
1 changed files with 1 additions and 1 deletions
--- a/extensions/ql-vscode/src/databases/github-database-module.ts
+++ b/extensions/ql-vscode/src/databases/github-database-module.ts
@@ -31,7 +31,7 @@ export class GithubDatabaseModule extends DisposableObject {
    const githubRepositoryResult = await findGitHubRepositoryForWorkspace();
    if (githubRepositoryResult.isFailure) {
      void this.app.logger.log(
-        `Failed to find GitHub repository for workspace: ${githubRepositoryResult.errors.join(
+        `Did not find a GitHub repository for workspace: ${githubRepositoryResult.errors.join(
          ", ",
        )}`,
      );