Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

5
  • Could you say a bit more about where in the interface this can be done? Commented Jun 20, 2013 at 11:10
  • Probably any where you enter "comments" e.g. on an issue. Commented Jun 20, 2013 at 14:23
  • 1
    Just write "@user ping" in any of issue comments Commented Jul 26, 2013 at 12:05
  • 1
    "discussion" == Issue or Pull Request or any comment on a commit, etc. Commented Jul 28, 2016 at 14:49
  • In my case the user just keep forking without any other activities, so I don't find any comments or PRs. I have to fork one of his/her public repo, create a new file, push, create a PR and tag the person in the comment. Commented Apr 23, 2025 at 11:53