text: ﻿// ==UserScript==
  // @name         Github improvements
  // @namespace    http://tampermonkey.net/
  // @version      0.15
  // @updateURL    https://raw.githubusercontent.com/learn-more/tampermonkey/master/github-pr-author.user.js
  // @downloadURL  https://raw.githubusercontent.com/learn-more/tampermonkey/master/github-pr-author.user.js
  // @description  Various github improvements, like: show committer and author name, 'known' authors, etc...
  // @author       Mark Jansen
  // @match        https://github.com/*
  // @grant        none
  // @require      http://code.jquery.com/jquery-latest.js
  // ==/UserScript==
  
  
  (function() {
      'use strict';
  
      /* Deprecated, please update to the .user.js version */
  })();
  