Get shorten URL if it has abbrev commit hash

short-commit.github.user.js

// ==UserScript==
// @name        GitHub Shorten Commit URL
// @namespace   short-commit.github.com
// @match       https://github.com/**/commit/*
// @grant       none
// @version     1.0
// @author      hyrious
// @description Replace shorter URL if abbrev commit hash exist
// ==/UserScript==
void function() {
  "use strict"
  let $sha = document.querySelector('.sha.user-select-contain')
  if ($sha) {
    let sha = $sha.textContent.trim()
    let parts = location.pathname.split('/')
    let index = parts.findIndex(e => e.startsWith(sha))
    if (index > 0) {
      parts[index] = sha
      let url = parts.join('/')
      if (location.search) url += location.search
      history.replaceState({}, "", url)
    }
  }
}();