Skip to content

Instantly share code, notes, and snippets.


Dave Hunt davehunt

View GitHub Profile
robmiller / git-cleanup-repo
Last active Dec 2, 2021
A script for cleaning up Git repositories; it deletes branches that are fully merged into `origin/master`, prunes obsolete remote tracking branches, and as an added bonus will replicate these changes on the remote.
View git-cleanup-repo
# git-cleanup-repo
# Author: Rob Miller <>
# Adapted from the original by Yorick Sijsling
git checkout master &> /dev/null
# Make sure we're working with the most up-to-date version of master.
git fetch
santiycr / setContext-user-extension.js
Created Nov 23, 2010
User extension to make Selenium's setContext more visual and useful in videos recorded from tests
View setContext-user-extension.js
window.contextTimeout = null;
function fade(ctx) {
var alpha =;
var new_alpha = alpha - 0.1; = new_alpha;
if (new_alpha){
window.contextTimeout = setTimeout(function(){fade(ctx);}, 50);
} else {