From 8b82d00ff3cb5fd7b1494b83e54731535a3007f9 Mon Sep 17 00:00:00 2001
From: Malte Poll <1780588+malt3@users.noreply.github.com>
Date: Wed, 29 Apr 2026 20:48:26 +0100
Subject: [PATCH] replace REPO.bazel with .gitignore

ignore_directories is Bazel 8+ only
---
 .bazelignore         | 1 +
 REPO.bazel           | 3 ---
 example/.bazelignore | 2 ++
 example/REPO.bazel   | 4 ----
 4 files changed, 3 insertions(+), 7 deletions(-)
 create mode 100644 .bazelignore
 delete mode 100644 REPO.bazel
 create mode 100644 example/.bazelignore
 delete mode 100644 example/REPO.bazel

diff --git a/.bazelignore b/.bazelignore
new file mode 100644
index 0000000..33a9488
--- /dev/null
+++ b/.bazelignore
@@ -0,0 +1 @@
+example
diff --git a/REPO.bazel b/REPO.bazel
deleted file mode 100644
index 793fead..0000000
--- a/REPO.bazel
+++ /dev/null
@@ -1,3 +0,0 @@
-ignore_directories([
-    "example/**",
-])
diff --git a/example/.bazelignore b/example/.bazelignore
new file mode 100644
index 0000000..1384170
--- /dev/null
+++ b/example/.bazelignore
@@ -0,0 +1,2 @@
+producer/stdlib_repo
+third_party
diff --git a/example/REPO.bazel b/example/REPO.bazel
deleted file mode 100644
index 6cc27d7..0000000
--- a/example/REPO.bazel
+++ /dev/null
@@ -1,4 +0,0 @@
-ignore_directories([
-    "producer/stdlib_repo/**",
-    "third_party/**",
-])