This repository has been archived on 2023-02-01. You can view files and clone it, but cannot push or open issues or pull requests.

Yarden Shoham 63ebb53fd5 Add link to user profile in markdown mention only if user exists (#21533) ... Previously mentioning a user would link to its profile, regardless of whether the user existed. This change tests if the user exists and only if it does - a link to its profile is added. * Fixes #3444 Signed-off-by: Yarden Shoham <hrsi88@gmail.com> Co-authored-by: wxiaoguang <wxiaoguang@gmail.com> Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>		2022-10-23 01:15:52 +08:00
..
checkout.go	Add link to user profile in markdown mention only if user exists (#21533)	2022-10-23 01:15:52 +08:00