[PATCH 01/14] gitignore: don't ignore files in .github/ directory

Ahmad Fatoum a.fatoum at pengutronix.de
Sun Jun 4 23:36:10 PDT 2023


The directory holds our workflow files and it shouldn't require git add
-f to add new files there.

Signed-off-by: Ahmad Fatoum <a.fatoum at pengutronix.de>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index dd36d5083b17..d2487d548376 100644
--- a/.gitignore
+++ b/.gitignore
@@ -52,6 +52,7 @@ Module.symvers
 #
 !.gitignore
 !.mailmap
+!.github/
 
 #
 # Generated include files
-- 
2.39.2




More information about the barebox mailing list