953 Search results for "pull requests"
GitHub Issues / Labels and milestones /
Creating and editing milestones for issues and pull requests
You can create a milestone to track progress on groups of issues or pull requests in a repository.
On GitHub.com, navigate to the main page of the repository
GitHub Issues / Labels and milestones /
Filtering issues and pull requests by milestone
Issues and pull requests can be filtered based on the milestone they're associated with. Once you've associated an issue or pull request with a milestone
Pull requests / Collaborate with pull requests /
Proposing changes to your work with pull requests
Proposing changes to your work with pull requests
After you add changes to a topic branch or fork, you can open a pull request to ask your collaborators
GitHub Issues / Labels and milestones /
Associating milestones with issues and pull requests
You can associate similar issues and pull requests with a milestone to better track their progress.
On GitHub.com, navigate to the main page of the repository
Pull requests / Collaborate with pull requests /
Reviewing changes in pull requests
Reviewing changes in pull requests
After a pull request has been opened, you can review and discuss the set of proposed changes.
About pull request reviews
Repositories / Branches and merges / Configure PR merges /
Configuring commit squashing for pull requests
by default), scroll down to the section marked "Pull Requests".
Under "Pull Requests", select Allow squash merging. This allows contributors
Building communities /
Using templates to encourage useful issues and pull requests
issues and pull requests
Repository maintainers can add templates in a repository to help contributors create high-quality issues and pull requests.
About
GitHub Issues / Issues /
Marking issues or pull requests as a duplicate
Mark an issue or pull request as a duplicate to track similar issues or pull requests together and remove unnecessary burden for both maintainers and collaborators
GitHub Actions /
Managing issues and pull requests
Managing issues and pull requests
You can automatically manage your issues and pull requests using GitHub Actions workflows.
Using GitHub Actions for project
Repositories / Branches and merges / Configure PR merges /
Configuring commit merging for pull requests
"Settings" tab, select the
dropdown menu, then click Settings.
Under "Pull Requests", select Allow merge commits. This allows contributors to merge