On GitHub

1. Open Pull Requests.
2. Select New Pull Request.
3. Set base to main.
4. Set compare to development.
5. Review the displayed differences.
6. Add a title and description.
7. Create the pull request.
8. Review Conversation, Commits, and Files changed.
9. Merge and confirm when approved.

Updating a local repository after a remote change:

Option A: separate inspection and integration.

git fetch

Then merge the fetched remote changes into the intended local branch.

Option B: immediate combined update.

git pull