~sircmpwn/sr.ht-dev

This thread contains a patchset. You're looking at the original emails, but you may wish to use the patch review UI. Review patch
4 2

[PATCH docs] Add documentation for user/ticket mentions

Details
Message ID
<20190307180409.22051-1-normandy@firemail.cc>
Sender timestamp
1551981849
DKIM signature
permerror
Download raw message
Patch: +14 -0
---
 todo.sr.ht/index.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/todo.sr.ht/index.md b/todo.sr.ht/index.md
index 1582149..91a0d95 100644
--- a/todo.sr.ht/index.md
+++ b/todo.sr.ht/index.md
@@ -33,6 +33,20 @@ 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
-- 
2.19.1
Details
Message ID
<20190311220000.GK11876@homura.localdomain>
In-Reply-To
<20190307180409.22051-1-normandy@firemail.cc> (view parent)
Sender timestamp
1552341600
DKIM signature
pass
Download raw message
On 2019-03-07  1:04 PM, Francis Dinh wrote:
> +## 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.

Can you add a newline after the header? Rest of the patch looks fine.
Details
Message ID
<20190311222008.16077-1-archaeme@takaneshijou.club>
In-Reply-To
<20190311220000.GK11876@homura.localdomain> (view parent)
Sender timestamp
1552342808
DKIM signature
pass
Download raw message
Patch: +14 -0
From: Francis Dinh <normandy@firemail.cc>

---
 todo.sr.ht/index.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/todo.sr.ht/index.md b/todo.sr.ht/index.md
index 1582149..91a0d95 100644
--- a/todo.sr.ht/index.md
+++ b/todo.sr.ht/index.md
@@ -33,6 +33,20 @@ 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
-- 
2.19.1

[PATCH docs v3] Add documentation for user/ticket mentions

Details
Message ID
<20190311222317.16402-1-archaeme@takaneshijou.club>
In-Reply-To
<20190311220000.GK11876@homura.localdomain> (view parent)
Sender timestamp
1552342997
DKIM signature
pass
Download raw message
Patch: +15 -0
From: Francis Dinh <normandy@firemail.cc>

---
Ack, forgot to add -a to --amend.

 todo.sr.ht/index.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

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
-- 
2.19.1

Re: [PATCH docs v3] Add documentation for user/ticket mentions

Details
Message ID
<20190313182417.GA12739@homura.localdomain>
In-Reply-To
<20190311222317.16402-1-archaeme@takaneshijou.club> (view parent)
Sender timestamp
1552501458
DKIM signature
pass
Download raw message
Thanks!

To man.sr.ht:root
   c7d258f..276870c  master -> master