[Github] User-mention to profile page

Changes the user-mention URL to the user's profile page

نووسەر
HKR
Daily installs
0
Total installs
4
Ratings
0 0 0
وەشان
1.0
Created
2021-07-21
Updated
2021-07-22
مۆڵەت
نییە
Applies to