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)?