Use git repository name as the http_archive name

Author: avdv

Diff for: .github/workflows/workspace_snippet.sh

@@ -14,7 +14,7 @@ WORKSPACE snippet:
 \`\`\`starlark
 load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
 http_archive(
-    name = "",
+    name = "${REPO_NAME}",
     sha256 = "${SHA}",
     strip_prefix = "${PREFIX}",
     url = "https://github.com/${GITHUB_REPOSITORY}/archive/refs/tags/${TAG}.tar.gz",