From e72f756c5661d0a314e258077dca3436a805a60f Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Sat, 12 Aug 2023 11:56:15 +0000
Subject: [PATCH] Revert "case(1): merge pull request"

This reverts commit 3dafedd70e592caf6dc3d3a5f13a4ff8bcf65eed, reversing
changes made to ee1d7ca7bd24d5c444bfd1eeb2a743537e0918aa.
---
 case1/file1 | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 case1/file1

diff --git a/case1/file1 b/case1/file1
deleted file mode 100644
index fcb4d4e..0000000
--- a/case1/file1
+++ /dev/null
@@ -1 +0,0 @@
-A changed line is added