From 178be7a9f3387b6adc354532006a464dd402021d Mon Sep 17 00:00:00 2001
From: Marco Accorinti <accosk8@gmail.com>
Date: Wed, 20 Sep 2023 21:00:03 +0200
Subject: [PATCH] remove(git-source-settings.ts): workingDirectory option

Not needed (working-directory option is used internally)
---
 src/git-source-settings.ts | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/git-source-settings.ts b/src/git-source-settings.ts
index 580ab9e..4e41ac3 100644
--- a/src/git-source-settings.ts
+++ b/src/git-source-settings.ts
@@ -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
 }