Hacker News new | ask | show | jobs
by WorldMaker 1773 days ago
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).