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 <user> <repository>
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 limit the number of results returned by a query using the --limit flag. For example, to limit the results to 10 rows, run anyquery run