Add mentions to markdown in GitHub

github-markdown-linkify.user.js

// ==UserScript==
// @name        Linkify Markdown Mentions - github.com
// @namespace   Violentmonkey Scripts
// @match       https://github.com/*
// @grant       none
// @version     1.0
// @author      Madara Uchiha
// @description 6/10/2020, 4:29:55 PM
// ==/UserScript==

window.addEventListener('load', () => {
  for (const el of document.querySelectorAll('.markdown-body')) {
    el.innerHTML = el.innerHTML
      .replace(/@(\w+)/g, (full, name) => 
               `<a class="user-mention" data-hovercard-type="user" data-hovercard-url="/users/${name}/hovercard" href="/${name}">${full}</a>`);
  }  
});