If you force merge commits you at least have a record of completed PR activity in git history, even if you don't have details such as review comments (or in pro

If you force merge commits you at least have a record of completed PR activity in git history, even if you don't have details such as review comments (or in progress/in review code review efforts).