From 9ff341ae1d24cede21cf5b2ae724f19148d2c0ff Mon Sep 17 00:00:00 2001 From: Todd Short Date: Tue, 29 Jul 2025 11:14:02 -0400 Subject: [PATCH] Do not add OWNERS to bingo's .gitignore bingo overwrites the .gitignore file, so it can create an unexpected merge conflict. Leave the OWNERS file in place (unless we discover that it is also a problem later). Signed-off-by: Todd Short --- .bingo/.gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.bingo/.gitignore b/.bingo/.gitignore index 9969518178..9efccf683c 100644 --- a/.bingo/.gitignore +++ b/.bingo/.gitignore @@ -9,6 +9,5 @@ !README.md !Variables.mk !variables.env -!OWNERS *tmp.mod