git skill useful git commands get rid of deleted origin/branches get rid of deleted origin/branches git remote prune origin 2015-07-18 ENVIRONMENT git useful « GNU global configuration use ctags parser Archive C++ little things » Dialogue & Discussion Please enable JavaScript to view the comments powered by Disqus.
