Skip to content

Instantly share code, notes, and snippets.

View kartben's full-sized avatar

Benjamin Cabé kartben

View GitHub Profile
@kartben
kartben / git.eclipse.org.bugzillaIntegration.user.js
Created June 10, 2011 20:15
git.eclipse.org GreaseMonkey extension
// ==UserScript==
// @name git.eclipse.org bug reference detector
// @version 0.1.0
// @licence EPL v1.0 - http://www.eclipse.org/legal/epl-v10.html
// @namespace http://www.github.com/kartben
// @description Make references to Eclipse bugs clickable in git.eclipse.org Web UI
// @include http://git.eclipse.org/*
// ==/UserScript==
var nodes = document.evaluate(