Seeking an internship

🔍 Seeking a 6-month software engineering internship starting January 2027. Based in France, open to remote or relocation.
contact@julienc.me • Resume

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 Author

Tip

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.