1 مستودع
Editor plugins specifically designed to integrate pull request management into the development environment.
Distinct from Pull Request Automation: None of the candidates describe a general-purpose editor extension for PR management; they focus on automation or specific workflow steps.
Explore 1 awesome GitHub repository matching development tools & productivity · Pull Request Extensions. Refine with filters or upvote what's useful.
This project is a GitHub pull request and issue management extension that integrates version control workflows directly into the code editor. It functions as a combined code review tool and issue tracker, allowing users to manage remote repository data without leaving their development environment. The extension supports both GitHub and GitHub Enterprise accounts. It distinguishes itself by enabling a code-to-issue workflow, where users can automatically generate trackable GitHub issues from todo comments and markers written within the source code. The toolset covers peer review functionalit
Provides a comprehensive plugin for managing GitHub pull requests and issues directly within the code editor.