[bazel] Rename repos.bzl to extensions.bzl

This matches the convention for Bazel files which provide module extensions. Signed-off-by: James Wainwright <[email protected]>
lowRISC · Dec 16, 2024 · efbd579 · efbd579
1 parent 37938d1
commit efbd579
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/MODULE.bazel.lock b/MODULE.bazel.lock
diff --git a/third_party/tock/repos.bzl → third_party/tock/extensions.bzl b/third_party/tock/repos.bzl → third_party/tock/extensions.bzl
diff --git a/third_party/tock/tock.MODULE.bazel b/third_party/tock/tock.MODULE.bazel
@@ -2,5 +2,5 @@
 # Licensed under the Apache License, Version 2.0, see LICENSE for details.
 # SPDX-License-Identifier: Apache-2.0
 
-tock = use_extension("//third_party/tock:repos.bzl", "tock")
+tock = use_extension("//third_party/tock:extensions.bzl", "tock")
 use_repo(tock, "tock", "libtock", "elf2tab")