third_party: rename build_files to $reponame.bzl
This enables IDEs to correctly identify the filetype
Change-Id: I9e2644514f001f94abe7da92c332f95889a34380
Reviewed-on: https://review.monogon.dev/c/monogon/+/3823
Reviewed-by: Lorenz Brun <lorenz@monogon.tech>
Tested-by: Jenkins CI
diff --git a/third_party/cockroach/BUILD.repo b/third_party/cockroach/BUILD.repo
deleted file mode 100644
index e9ec3f7..0000000
--- a/third_party/cockroach/BUILD.repo
+++ /dev/null
@@ -1,3 +0,0 @@
-exports_files([
- "cockroach"
-])
\ No newline at end of file
diff --git a/third_party/cockroach/cockroach.bzl b/third_party/cockroach/cockroach.bzl
new file mode 100644
index 0000000..503292f
--- /dev/null
+++ b/third_party/cockroach/cockroach.bzl
@@ -0,0 +1,3 @@
+exports_files([
+ "cockroach",
+])