From 837664758d4db8ac61a153669a21c88eab71989f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20M=C3=BCller?= Date: Fri, 4 Nov 2022 09:17:22 -0700 Subject: [PATCH] ci: Allow usage of .patch patches MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit With https://github.com/libbpf/ci/pull/68 merged we can now keep the .patch extension for patches and don't have to worry about forgetting the rename to .diff. Remove the marker file reminding us of that need. Signed-off-by: Daniel Müller --- ci/diffs/.do_not_use_dot_patch_here | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 ci/diffs/.do_not_use_dot_patch_here diff --git a/ci/diffs/.do_not_use_dot_patch_here b/ci/diffs/.do_not_use_dot_patch_here deleted file mode 100644 index e69de29..0000000