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
The anyquery run command automatically installs the required plugins for the query to run. You can also install the plugins manually using the anyquery install command.