documentation update - more detail on handling pull requests
Created by: ens-bwalts
Adding a note about how PRs are handled, including a reminder about how to merge the PR in GitHub
Created by: ens-bwalts
Adding a note about how PRs are handled, including a reminder about how to merge the PR in GitHub