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