[Github] User-mention to profile page

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

這裡只顯示彼此間有代碼差異的版本。顯示所有版本。