Dave Hunt davehunt
robmiller
/ git-cleanup-repo
Last active
February 27, 2024 10:09
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.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # git-cleanup-repo | |
| # | |
| # Author: Rob Miller <rob@bigfish.co.uk> | |
| # 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
November 23, 2010 23:06
User extension to make Selenium's setContext more visual and useful in videos recorded from tests
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| window.contextTimeout = null; | |
| function fade(ctx) { | |
| var alpha = ctx.style.opacity; | |
| var new_alpha = alpha - 0.1; | |
| ctx.style.opacity = new_alpha; | |
| if (new_alpha){ | |
| window.contextTimeout = setTimeout(function(){fade(ctx);}, 50); | |
| } else { | |
| this.browserbot.getUserWindow().document.body.removeChild(ctx); |