From 27d58e41b4db42bc86c0403470c4209e768412fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Vannicatte?= <vannicattec@gmail.com>
Date: Wed, 20 Apr 2022 17:08:02 +0200
Subject: [PATCH] chore: make ci push deleted files

---
 scripts/ci/codegen/pushGeneratedCode.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/ci/codegen/pushGeneratedCode.ts b/scripts/ci/codegen/pushGeneratedCode.ts
index 92e0ac67e26..276013ea8d9 100644
--- a/scripts/ci/codegen/pushGeneratedCode.ts
+++ b/scripts/ci/codegen/pushGeneratedCode.ts
@@ -60,6 +60,7 @@ Co-authored-by: %an <%ae>
     `Pushing code for folders '${FOLDERS_TO_CHECK}' to generated branch: '${branchToPush}'`
   );
   await run(`git add ${FOLDERS_TO_CHECK}`);
+  await run('git add `git ls-files --deleted`');
   await run(`git commit -m "${commitMessage}"`);
   await run(`git push origin ${branchToPush}`);