Reputation: 1213
I have created a pull request in GitHub that has been reviewed and the reviewer has requested changes. I have done the changes and added a comment in the pull request conversation with a reference to the reviewer so I expect a notification has been sent to him.
Is there any other thing I must do in GitHub to reflect that I have pushed corrections to the requested changes?
Upvotes: 11
Views: 4937
Reputation: 520898
What you did is standard operating procedure when replying to a change request in a pull request. Since you pushed your changes, the branch in question has been updated. If your reviewer's GitHub is configured to not receive notifications he may not have received one, but from your point of view you have met your expectations. The other Git repositories (e.g. Bitbucket) also behave similarly to this.
Upvotes: 9