Skip to main content

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