dgoguerra

# prune branches deleted in origin
git remote prune origin

# prune tags
# http://stackoverflow.com/questions/1841341/remove-local-tags-that-are-no-longer-on-the-remote-repository
git fetch --prune <remote> '+refs/tags/*:refs/tags/*'

todgru

Setup redis-cli on AWS EC2

SSH into your EC2 instance. Run the following:

$ sudo yum install gcc This may return an "already installed" message. That's OK.

$ wget http://download.redis.io/redis-stable.tar.gz && tar xvzf redis-stable.tar.gz && cd redis-stable && make

See: http://docs.aws.amazon.com/AmazonElastiCache/latest/UserGuide/GettingStarted.ConnectToCacheNode.Redis.html

zhang-ning

git config --global alias.co checkout
git config --global alias.ci commit
git config --global alias.st status
git config --global alias.br branch

rodw

#!/bin/bash 
# A simple script to backup an organization's GitHub repositories.

#-------------------------------------------------------------------------------
# NOTES:
#-------------------------------------------------------------------------------
# * User @jimklimov (and probably some others called out in the long comment
#   thread below) have modified this script to make it more robust and keep
#   up with various changes in the GitHub API and response format at:
#      https://github.com/jimklimov/github-scripts

braveulysses

def sanitize(untrusted_html, additional_tags=None):
    """Strips potentially harmful tags and attributes from HTML, but preserves 
    all tags in a whitelist.
    
    Passing the list additional_tags will add the specified tags to the whitelist.
    
    The sanitizer does NOT encode reserved characters into XML entities.  It is up 
    to the template code, if any, to take care of that.
    
    Based on the work of: