Extensions by Rohan Shetty

GitHub PR Cleaner

🧑‍💻 Developer Tools

Restructures GitHub pull request pages to condense AI-generated content and prioritize human review.