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 also run local queries using the anyquery run command. Just pass the path to the query file as an argument (e.g. anyquery run path/to/query.sql).