diff options
Diffstat (limited to 'src/git-source-settings.ts')
| -rw-r--r-- | src/git-source-settings.ts | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/git-source-settings.ts b/src/git-source-settings.ts index 6fa3960..2da5622 100644 --- a/src/git-source-settings.ts +++ b/src/git-source-settings.ts @@ -83,4 +83,9 @@ export interface IGitSourceSettings { * Indicates whether to add repositoryPath as safe.directory in git global config */ setSafeDirectory: boolean + + /** + * User override on the GitHub Server/Host URL that hosts the repository to be cloned + */ + githubServerUrl: string | undefined } |
