mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-23 18:32:17 +00:00
zed_extension_api: Add a short explanation of repo
format (#21824)
Improved extension api documentation for latest_github_release function Release Notes: - N/A --------- Co-authored-by: Marshall Bowers <elliott.codes@gmail.com>
This commit is contained in:
parent
ab595b0d55
commit
faf79e52fe
1 changed files with 2 additions and 0 deletions
|
@ -24,6 +24,8 @@ interface github {
|
|||
}
|
||||
|
||||
/// Returns the latest release for the given GitHub repository.
|
||||
///
|
||||
/// Takes repo as a string in the form "<owner-name>/<repo-name>", for example: "zed-industries/zed".
|
||||
latest-github-release: func(repo: string, options: github-release-options) -> result<github-release, string>;
|
||||
|
||||
/// Returns the GitHub release with the specified tag name for the given GitHub repository.
|
||||
|
|
Loading…
Reference in a new issue