From 0dbdd0ce7b564d4c010e44058b6f1ff3671ee36a Mon Sep 17 00:00:00 2001 From: Hisham Muhammad Date: Thu, 22 Aug 2024 17:49:05 -0300 Subject: Teal: rename luarocks.fetch.git_https --- src/luarocks/fetch/git_https.lua | 7 ------- src/luarocks/fetch/git_https.tl | 7 +++++++ 2 files changed, 7 insertions(+), 7 deletions(-) delete mode 100644 src/luarocks/fetch/git_https.lua create mode 100644 src/luarocks/fetch/git_https.tl diff --git a/src/luarocks/fetch/git_https.lua b/src/luarocks/fetch/git_https.lua deleted file mode 100644 index 67f8ad6c..00000000 --- a/src/luarocks/fetch/git_https.lua +++ /dev/null @@ -1,7 +0,0 @@ ---- Fetch back-end for retrieving sources from Git repositories --- that use https:// transport. For example, for fetching a repository --- that requires the following command line: --- `git clone https://example.com/foo.git` --- you can use this in the rockspec: --- source = { url = "git+https://example.com/foo.git" } -return require "luarocks.fetch.git_http" diff --git a/src/luarocks/fetch/git_https.tl b/src/luarocks/fetch/git_https.tl new file mode 100644 index 00000000..67f8ad6c --- /dev/null +++ b/src/luarocks/fetch/git_https.tl @@ -0,0 +1,7 @@ +--- Fetch back-end for retrieving sources from Git repositories +-- that use https:// transport. For example, for fetching a repository +-- that requires the following command line: +-- `git clone https://example.com/foo.git` +-- you can use this in the rockspec: +-- source = { url = "git+https://example.com/foo.git" } +return require "luarocks.fetch.git_http" -- cgit v1.2.3-55-g6feb