From e44a7e4a172f946afaafb23b6c08019ac3ff2133 Mon Sep 17 00:00:00 2001
From: Alberto Cavalcante <alberto@cavalcante.uk>
Date: Wed, 31 Jul 2024 06:36:50 -0300
Subject: [PATCH] add stardoc using http_archive instead of git_repository +
 upgrade to 0.7.0

---
 WORKSPACE.bazel | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/WORKSPACE.bazel b/WORKSPACE.bazel
index e566659..2853564 100644
--- a/WORKSPACE.bazel
+++ b/WORKSPACE.bazel
@@ -1,7 +1,6 @@
 workspace(name = "rules_antlr")
 
-load("@bazel_tools//tools/build_defs/repo:git.bzl", "git_repository")
-load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_jar")
+load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive", "http_jar")
 
 local_repository(
     name = "examples",
@@ -30,10 +29,12 @@ load("//antlr:repositories.bzl", "rules_antlr_dependencies")
 
 rules_antlr_dependencies(2, 3, 4)
 
-git_repository(
+http_archive(
     name = "io_bazel_stardoc",
-    remote = "https://github.com/bazelbuild/stardoc.git",
-    tag = "0.4.0",
+    sha256 = "dd7f32f4fe2537ce2452c51f816a5962d48888a5b07de2c195f3b3da86c545d3",
+    urls = [
+        "https://github.com/bazelbuild/stardoc/releases/download/0.7.0/stardoc-0.7.0.tar.gz",
+    ],
 )
 
 load("@io_bazel_stardoc//:setup.bzl", "stardoc_repositories")