From b9dc833d4746ca2c6730b7c7663dcfe30e0f95e7 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 16d08b1..2f80b5e 100644
--- a/src/git-source-settings.ts
+++ b/src/git-source-settings.ts
@@ -108,9 +108,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
 }