diff --git a/third_party/intel_ucode/BUILD.repo b/third_party/intel_ucode/intel_ucode.bzl
similarity index 98%
rename from third_party/intel_ucode/BUILD.repo
rename to third_party/intel_ucode/intel_ucode.bzl
index 351b565..64a4618 100644
--- a/third_party/intel_ucode/BUILD.repo
+++ b/third_party/intel_ucode/intel_ucode.bzl
@@ -1,2 +1,2 @@
 # Anything other than family 6 is not interesting to us
-filegroup(name = "fam6h", srcs = glob(["intel-ucode/06-*"]), visibility = ["//visibility:public"])
\ No newline at end of file
+filegroup(name = "fam6h", srcs = glob(["intel-ucode/06-*"]), visibility = ["//visibility:public"])