From efbd579ade8a64d4bf737261d36f3a2f8ef1e6b1 Mon Sep 17 00:00:00 2001
From: James Wainwright <james.wainwright@lowrisc.org>
Date: Fri, 13 Dec 2024 18:57:26 +0000
Subject: [PATCH] [bazel] Rename `repos.bzl` to `extensions.bzl`

This matches the convention for Bazel files which provide module
extensions.

Signed-off-by: James Wainwright <james.wainwright@lowrisc.org>
---
 MODULE.bazel.lock                              | 4 ++--
 third_party/tock/{repos.bzl => extensions.bzl} | 0
 third_party/tock/tock.MODULE.bazel             | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)
 rename third_party/tock/{repos.bzl => extensions.bzl} (100%)

diff --git a/MODULE.bazel.lock b/MODULE.bazel.lock
index c434e58e8783c3..efb14e07579256 100644
--- a/MODULE.bazel.lock
+++ b/MODULE.bazel.lock
@@ -170,10 +170,10 @@
   },
   "selectedYankedVersions": {},
   "moduleExtensions": {
-    "//third_party/tock:repos.bzl%tock": {
+    "//third_party/tock:extensions.bzl%tock": {
       "general": {
         "bzlTransitiveDigest": "wE8qIMxd5tHujxw8iwcXdRA/JgnSbXjZ8+Jk+LPIk/4=",
-        "usagesDigest": "E8M454Un30HY28eEJ/Tr9MWEOQtOOloSvkEAZzp+Lks=",
+        "usagesDigest": "fQHPKaIGApMNRxDqTd07pSqd9IzEr+5D869in2Lsz48=",
         "recordedFileInputs": {},
         "recordedDirentsInputs": {},
         "envVariables": {},
diff --git a/third_party/tock/repos.bzl b/third_party/tock/extensions.bzl
similarity index 100%
rename from third_party/tock/repos.bzl
rename to third_party/tock/extensions.bzl
diff --git a/third_party/tock/tock.MODULE.bazel b/third_party/tock/tock.MODULE.bazel
index 8e3629f3557563..755c042bddbbca 100644
--- 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")