Add documentation for user/ticket mentions

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