Teal: convert luarocks.fetch.git_http

1 files changed, 5 insertions, 2 deletions

diff --git a/src/luarocks/fetch/git_http.lua b/src/luarocks/fetch/git_http.tl
index d85e2572..4ff602d9 100644
--- a/src/luarocks/fetch/git_http.lua
+++ b/src/luarocks/fetch/git_http.tl
@@ -7,10 +7,13 @@
 -- source = { url = "git+http://example.com/foo.git" }
 -- Prefer using the normal git:// fetch mode as it is more widely
 -- available in older versions of LuaRocks.
-local git_http = {}
+local record git_http
+end
 
 local git = require("luarocks.fetch.git")
 
+local type Rockspec = require("luarocks.core.types.rockspec").Rockspec
+
 --- Fetch sources for building a rock from a local Git repository.
 -- @param rockspec table: The rockspec table
 -- @param extract boolean: Unused in this module (required for API purposes.)
@@ -18,7 +21,7 @@ local git = require("luarocks.fetch.git")
 -- @return (string, string) or (nil, string): The absolute pathname of
 -- the fetched source tarball and the temporary directory created to
 -- store it; or nil and an error message.
-function git_http.get_sources(rockspec, extract, dest_dir)
+function git_http.get_sources(rockspec: Rockspec, extract: boolean, dest_dir?: string): string, string
    rockspec.source.url = rockspec.source.url:gsub("^git.", "")
    return git.get_sources(rockspec, extract, dest_dir, "--")
 end