jeremywadsack

# A jQuery plugin to convert UTC times to local times on the browser.
#
# You can apply this to any element on the page like this:
# 
#     $('#message').covertToLocalDate();
#
# This looks for one or more date-time strings in the original element
# and replaces them. The existing dates must be in the format 
#   2015-07-14 16:30:00 UTC
# It replaces them with an <abbr> element (which is usually styled with

jeremywadsack

[unknown]LOG:  connection received: host=::1 port=58397
my-app-test LOG:  connection authorized: user=jeremywadsack database=my-app-test
my-app-test LOG:  statement: set client_encoding to 'UTF8'
my-app-test LOG:  statement: set client_encoding to 'utf8'
my-app-test LOG:  statement: SET client_min_messages TO 'WARNING'
my-app-test LOG:  statement: SHOW client_min_messages
my-app-test LOG:  statement: SET client_min_messages TO 'panic'
my-app-test LOG:  statement: SET standard_conforming_strings = on
my-app-test LOG:  statement: SET client_min_messages TO 'warning'
my-app-test LOG:  statement: SET time zone 'UTC'

jeremywadsack

# A one-line script to change the origin organization name.
#
# After renaming our organization at GitHub, I had 25 repos I needed to update locally.
# This script finds the current "origin", removes it and replaces it with a new one
# with the organization changed.
#
# Just change OLD_ORG and NEW_ORG below to the old and new organization names and run
# this in each repository.
f=`git remote -v | grep '^origin' | cut -c 8- | cut -d' ' -f 1 | uniq`; git remote remove origin; git remote add origin ${f/OLD_ORG/NEW_ORG}