Does this user star this repository on GitHub?
Check if a specific user has starred a particular repository on GitHub.
Run this query
To run this query, you can use the following command:
anyquery run does_this_user_star_this_repository_on_github
Arguments
GitHub username
The GitHub username to check
Repository name (owner/repo format)
The repository to check (owner/repo)
Additional informations
Source code AuthorTip
You can export the result of the answer to different formats (JSON, CSV, Markdown, etc.). Just pass the --format flag to the command. See all the formats available here.