2 repository-uri
Browser-based tools that automate repetitive tasks within the pull request lifecycle.
Distinct from Pull Request Processes: Distinct from Pull Request Processes: provides actual functional utilities (branch cleanup, commit defaults) rather than just guidelines.
Explore 2 awesome GitHub repositories matching development tools & productivity · Pull Request Workflow Utilities. Refine with filters or upvote what's useful.
Refined GitHub is a browser extension that modifies the GitHub web interface to add features and remove annoyances. It functions as a user interface enhancement tool that uses custom CSS and JavaScript to rearrange layouts and inject new interactive elements into GitHub pages. The project serves as a workflow automation tool and repository utility, providing capabilities to automate pull request tasks such as branch cleanup and commit defaults. It acts as a code review assistant by identifying conflicting pull requests and improving navigation for code references. The extension covers severa
Speeds up pull request management through automated branch cleanup and commit defaults.
This repository serves as the technical documentation source for the .NET ecosystem. It consists of a collection of conceptual guides and technical references written in Markdown, acting as the static site content source for a public documentation portal. The project utilizes a Git-based content management system to handle technical writing through pull requests and automated build pipelines. It distinguishes itself through a specialized infrastructure that aggregates content and samples from multiple repositories and branches into a single unified output. The system covers a broad range of
Automates the setting of default milestones and triggers labels when pull requests are opened or reopened.