From f08f29c931283a5752fc7e42564a7caf924dbf9d Mon Sep 17 00:00:00 2001
From: Chris Novakovic <chris@chrisn.me.uk>
Date: Mon, 13 Oct 2025 17:27:35 +0100
Subject: [PATCH] Remove top-level `BUILD` file

Given that the top-level `BUILD` file is otherwise empty, the bug
that is obliquely referenced here is likely to be
https://github.com/thought-machine/please/issues/3408, which prevents
repos from being properly initialised unless they have a top-level
`BUILD` file. This bug was fixed in Please v17.19.1, so require that as
the minimum version of Please for using the plugin.
---
 .plzconfig | 2 +-
 BUILD      | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)
 delete mode 100644 BUILD

diff --git a/.plzconfig b/.plzconfig
index 088f486..eb59b60 100644
--- a/.plzconfig
+++ b/.plzconfig
@@ -1,5 +1,5 @@
 [Please]
-version = >=17.10.1
+version = >=17.19.1
 
 [Plugin "java"]
 Toolchain = //third_party/java:toolchain
diff --git a/BUILD b/BUILD
deleted file mode 100644
index 3935b41..0000000
--- a/BUILD
+++ /dev/null
@@ -1 +0,0 @@
-# there's some kind of bug here
\ No newline at end of file