search

PR-Pilot-AI / pr-pilot

An AI agent for your development workflow that can search and manipulate the code base, browse the internet and interact with Github issues and pull requests
https://www.pr-pilot.ai
GNU General Public License v3.0
149 stars 16 forks source link

📄 Update: Save and Process Documentation Issues #152

Closed pr-pilot-ai[bot] closed 3 months ago

pr-pilot-ai[bot] commented 3 months ago

I have completed the tasks:

  1. Saved all open GitHub issues labeled 'documentation' to reports/doc_tickets.json.
  2. Created a bash script scripts/iterate_doc_tickets.sh that iterates over the tickets using jq.

You can find the JSON file and the script in the respective directories. The script will output the issue number, title, and URL for each documentation issue.