Skip to content

Instantly share code, notes, and snippets.

@dscho
dscho / hide-gitgitgadget-git-merge-button.user.js
Last active Apr 14, 2019 — forked from aripollak/hide-github-merge.user.js
Userscript to disable the Merge button inside GitGitGadget's Git pull requests
View hide-gitgitgadget-git-merge-button.user.js
// ==UserScript==
// @name Assorted helpful tweaks for GitGitGadget's Git fork
// @version 0.12
// @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
View jeopardy.bsh
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");
You can’t perform that action at this time.