How to Delete a Git Branch
git fetch --prune origin git branch --delete [branch-name] git push origin --delete [branch-name]
Git
How to "go get" Behind a Proxy
Proxy for “go get” https_proxy=http://user:pass@proxy_host:port go get ... Proxy for Git In $HOME/.gitconfig: [https] proxy = proxy_url Proxy for Mercurial In $HOME/.hgrc: [http_proxy] host = host:port user = ... passwd = ...