The issue has been closed

Button to `@` mention in discussion #2532

fregante posted onGitHub

We could add a button to quickly mention someone. It can either go by the "Edit comment" button or near/below the user/avatar, as such:

Clicking it would instantly @mention the user and focus the comment field, like the <kbd>r</kbd> key does when quoting the selection.

This would also be a solution/replacement for https://github.com/sindresorhus/refined-github/issues/1003 and fix the annoyance caused by show-names (it makes it harder to copy-paste usernames)

If anyone is interested, I maintaining the Github Reply Comments userscript.

posted by jerone over 5 years ago

It’s not clear what that does. What does “reply to a comment” entail? Why does it depend on a markdown parser?

I think it’s different from what is being asked here.

posted by fregante over 5 years ago

@fregante commented on Nov 12, 2019, 1:17 PM GMT+1:

It’s not clear what that does. What does “reply to a comment” entail? Why does it depend on a markdown parser?

I think it’s different from what is being asked here.

It adds the content above ⬆. The Markdown parser is there to support (most) Markdown syntax.

posted by jerone over 5 years ago

You should probably include that in the readme or screenshot.

Anyway the feature I’m suggesting only includes the username, e.g.

@jerone

posted by fregante over 5 years ago

Maybe add this behavior to alt click on username instead of making it a button?

posted by Tiramisu77 over 5 years ago

Currently we use only such shortcut to mean "click this and all the buttons like this," it's not great for discoverability.

I'd rather show the button on hover rather than hide it under a click modifier.

posted by fregante over 5 years ago

Fund this Issue

$0.00

Funded

Pull requests

Button to `@` mention in discussion #2532

Company

Community

Support

Connect