You’ve likely been in this situation before. You make some minor code fixes, do git commit --amend to add them to the current commit, and do git push --force. Then, you happily open pull request and see that you’ve deleted you’re colleagues commit.😩