When you create a pull request, the description is constructed from the Git commit message. However, this description is not updated when either the user force pushes updates to the PR or appends new commits to the PR.
What is the correct workflow to get around this?