How can I reply to someone's comment on a pull request on Github?

Question

Sorry if the question is trivial, but I couldn't find an answer.

I sent a pull request to a project. Someone commented something about it.

What would be the correct way to reply to his/her comment? I can simply add a comment of my own to the page. But is this the right way? Will he/she be 'notified' (if this even exists in Github)?

Answer 1

Just add a comment of your own to the page. If their comment is in the diff (i.e. the "Files changed" tab), you can respond inline next to their original comment.

If you mention them by name (using @username), they should also get a notification telling them that someone has mentioned them.