I've submitted a change to an Open Source project on Github, and received code review comments from one of the core team members (github code review is awesome by the way!). Most of the code is OK but a few things need changing.
Anyway, I would like to update the code taking into account the review comments, and re-submit it. What is the best workflow for doing this? From my limited knowledge of git/github, I could do any of the following:
Just add a new commit to the branch used in the pull request and push the branch to GitHub. The pull request will automatically be updated with the additional commit.
#2 and #3 are unnecessary. If people want to see only where your branch was merged in (and not the additional commits), they can use
git log --first-parent to only view the merge commit in the log.