remove(git-source-settings.ts): workingDirectory option

Not needed (working-directory option is used internally)
This commit is contained in:
Marco Accorinti 2023-09-20 21:00:03 +02:00
parent 5b1833c6cf
commit 178be7a9f3

View file

@ -118,9 +118,4 @@ export interface IGitSourceSettings {
* User override on the GitHub Server/Host URL that hosts the repository to be cloned
*/
githubServerUrl: string | undefined
/**
* User override of the working directory (default is $GITHUB_WORKSPACE)
*/
workingDirectory: string | undefined
}