[Github] User-mention to profile page

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

Author

HKR

Daily installs

Total installs

Ratings

0 0 0

Version

1.0

Created

2021-07-21

Updated

2021-07-22

Size

1.06 KB

License

N/A

Applies to

You can also try these related scripts:

Github Enhancement - High Speed Download - High-speed download of Git Clone/SSH, Release, Raw, Code(ZIP) and other files (Based on public welfare), project list file quick download (☁)
GitHub Internationalization - Translate GitHub.com
PlumFont - Replace Roboto, Segoe UI, Arial, and other fonts - Replace web page fonts with your preferred ones. Stop using Segoe UI, Arial, and Microsoft YaHei. Replace English numerals with the SF Pro and Inter fonts.
Github Search Purification - Clean up Github search page, block sensitive repositories by cirosantilli and others.
Github 增强 - 高速下载修改 - 高速下载 Git Clone/SSH、Release、Raw、Code(ZIP) 等文件 (公益加速)、项目列表单文件快捷下载 (☁)、添加 git clone 命令