Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

zed_extension_api: Add github_release_by_tag_name (#12172)

Browse source 
This PR adds a new `github_release_by_tag_name` method to the
`zed_extension_api` to allow for retrieving a GitHub release by its tag
name.

Release Notes:

- N/A
This commit is contained in:
Marshall Bowers 2024-05-22 20:40:31 -04:00 • committed by GitHub
parent 85ff80f3c0
commit 054c36cc29
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 82 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/extension_api/wit/since_v0.0.7/github.wit
View file

@ -25,4 +25,9 @@ interface github {
/// Returns the latest release for the given GitHub repository.
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.
///
/// Returns an error if a release with the given tag name does not exist.
github-release-by-tag-name: func(repo: string, tag: string) -> result<github-release, string>;
}