dscho

// ==UserScript==
// @name         Show download counts of GitHub releases
// @description  Displays the download count of GitHub's release.
// @version      0.3
// @source       https://gist.github.com/dscho/5d171ec286a52ca4c699477cceaebe20
// @updateURL    https://gist.github.com/dscho/5d171ec286a52ca4c699477cceaebe20/raw/github-release-download-counts.user.js
// @downloadURL  https://gist.github.com/dscho/5d171ec286a52ca4c699477cceaebe20/raw/github-release-download-counts.user.js
// @namespace    http://tampermonkey.net/
// @author       Kusaanko, Johannes Schindelin
// @match        https://github.com/*/*/releases*

dscho

// ==UserScript==
// @name         Assorted helpful tweaks for GitGitGadget's Git fork
// @version      0.14
// @description  Removes the merge button on the GitHub `gitgitgadget/git` project, as PRs there are never to be merged. Adds more buttons.
// @source       https://gist.github.com/dscho/3ea2406669ae4097ca58971b41f9c9ed
// @match        https://github.com/gitgitgadget/git/pull/*
// @updateURL    https://gist.github.com/dscho/3ea2406669ae4097ca58971b41f9c9ed/raw/hide-gitgitgadget-git-merge-button.user.js
// @downloadURL  https://gist.github.com/dscho/3ea2406669ae4097ca58971b41f9c9ed/raw/hide-gitgitgadget-git-merge-button.user.js
// @run-at document-end
// @grant GM_xmlhttpRequest

dscho

new imagej.plugins.tools.TunePlayer().play("t150 l4 o3 c f c o2 f o3 c f l2 c l4 c f c f l3 a l8 g f e d d- l4 o3 c f c o2 f o3 c f l2 c l3 f l8 d l4 c o2 b- a g f");

dscho