David Stern vorporeal

## prune_merged_branches.sh
#!/bin/bash

# This script looks for local branches which have an upstream branch set, but
# where said upstream branch no longer exists.  The implication here is that the
# engineer pushed the branch to GitHub (to send a PR for review), merged the PR,
# and (auto-)deleted the remote branch.
#
# The script asks for confirmation before deleting the local branches as this is
# destructive, and could cause someone to lose work if a branch gets into this
# state without its contents actually having been merged upstream.

## iron-overlay-behavior-gesture-bug.html
<html>
  <head>
    <base href="//polygit.org/polymer+v1.1.3/components/">
    <link href="polymer/polymer.html" rel="import">
    <link href="paper-dialog/paper-dialog.html" rel="import">
    <script>
      function openDialog() {
        document.getElementById('dialog').open();
      }
    </script>

## iron-fit-constrain-bug.html
<html>
  <head>
    <base href="//polygit.org/polymer+v1.1.3/components/">
    <link href="polymer/polymer.html" rel="import">
    <link href="paper-dialog/paper-dialog.html" rel="import">
    <script>
      // There were JS errors being thrown due to incorrect usage of
      // these methods, so I stubbed them out so the example would run.
      Polymer.Gestures.add = function() {};
      Polymer.Gestures.remove = function() {};

## browserVersionOf.js
function browserVersionOf(unprefixedName, parentObject) {
  // parentObject is optional and usually omitted, set it to window if it's not specified.
  parentObject = parentObject || window;
  var baseName = unprefixedName.charAt(0).toUpperCase() + unprefixedName.substring(1);
  var i = 0, variants = [unprefixedName, 'webkit', 'moz', 'ms', 'o'];
  var fullName = variants[0];
  do {
    if (typeof parentObject[fullName] == 'function') {
      return parentObject[fullName];
    }
	#!/bin/bash

	# This script looks for local branches which have an upstream branch set, but
	# where said upstream branch no longer exists. The implication here is that the
	# engineer pushed the branch to GitHub (to send a PR for review), merged the PR,
	# and (auto-)deleted the remote branch.
	#
	# The script asks for confirmation before deleting the local branches as this is
	# destructive, and could cause someone to lose work if a branch gets into this
	# state without its contents actually having been merged upstream.
	<html>
	<head>
	<base href="//polygit.org/polymer+v1.1.3/components/">
	<link href="polymer/polymer.html" rel="import">
	<link href="paper-dialog/paper-dialog.html" rel="import">
	<script>
	function openDialog() {
	document.getElementById('dialog').open();
	}
	</script>
	function browserVersionOf(unprefixedName, parentObject) {
	// parentObject is optional and usually omitted, set it to window if it's not specified.
	parentObject = parentObject \|\| window;
	var baseName = unprefixedName.charAt(0).toUpperCase() + unprefixedName.substring(1);
	var i = 0, variants = [unprefixedName, 'webkit', 'moz', 'ms', 'o'];
	var fullName = variants[0];
	do {
	if (typeof parentObject[fullName] == 'function') {
	return parentObject[fullName];
	}