diff options
Diffstat (limited to 'todo.sr.ht')
| -rw-r--r-- | todo.sr.ht/index.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/todo.sr.ht/index.md b/todo.sr.ht/index.md index 1582149..c9076b9 100644 --- a/todo.sr.ht/index.md +++ b/todo.sr.ht/index.md @@ -33,6 +33,21 @@ Each ticket has its own page and number. On the ticket page, you can comment on the ticket (if you have commenting access). If you are the tracker owner or the ticket submitter, you can also mark the ticket as resolved as well. +## Mentions + +You can mention other users and tickets in the body of the ticket as well +as in the comments. This will create a link to the user/ticket mentioned +as well as notify those involved. + +- To mention a user, use `~user` +- To mention a ticket, use `~user/tracker#123` + - Tickets in a tracker owned by the same user can be mentioned with + `tracker#123` + - Tickets in the same tracker can be simply mentioned with `#123` + +Replace `user`, `tracker`, and `123` with the actual tracker owner, +tracker name, and ticket number respectively. + # Settings If you are the tracker owner, you can perform some customizations to your |