Pull request template

Note last edited December 2022

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 December 2022.
Backlinks: Perpetual interests.