<#16519 Document or automate how maintainers merge...
# github-notifications
q
#16519 Document or automate how maintainers merge PRs Issue created by stuhood There are some currently undocumented steps in merging PRs: 1. Including the PR description as the commit message 2. Preserving (accurate)
[skip-*]
flags
3. Validating the PR title Our docs do cover having useful titles in the Creating a PR section, but maintainers should also double check that. pantsbuild/pants