Pull request template

Pull requests (PRs for short) are useful as a way to document changes. This provides two benefits:

A good PR has the following information:

Specific things calling out:

Note last edited November 2023.