actions
/
checkout
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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 ed925880d3
commit b9dc833d47
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/git-source-settings.ts
View File

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