-- The first matching ref is returned. Use filter to check for specific refs.
-- @param git_dir Path to GIT_DIR.
--- @param remote True for remote repository, false for local repository.
+-- @param remote True for default remote repository, false for local repository.
-- @param id Full commit ID string, must be 40 chars long.
-- @param filter Filter string to select specific refs. Filter is passed to
-- string.match(), and is always anchored (^) to the start of
end
--- clone a git repository by server and location
--- @param c
+-- @param c Cache
-- @param server
-- @param location
-- @param destdir string: destination directory
end
--- initialize a git repository
--- @param c a cache
+-- @param c Cache
-- @param server string: server name
-- @param location string: location
-- @return bool
end
--- do a git push
--- @param c a cache
+-- @param c Cache
-- @param gitdir string: gitdir
-- @param server string: server name
-- @param location string: location