documentation update - more detail on handling pull requests

Marek Szubarequested to merge
experimental/dev_guideline_update into version/2.5

Created by: ens-bwalts

Adding a note about how PRs are handled, including a reminder about how to merge the PR in GitHub

Merge request reports