Skip to content

Instantly share code, notes, and snippets.

Johannes Schindelin dscho

Block or report user

Report or block dscho

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@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.