git remote prune origin
git branch --merged | egrep -v "(^\*|master|dev)" | xargs git branch -d
git gc
| (function($){ | |
| $.fn.timer = function(duration, callback) { | |
| var time = duration, | |
| element = this; | |
| element.text(time--); | |
| var interval = setInterval(function() { | |
| if(time < 0){ | |
| clearInterval(interval); |
| [user] | |
| email = psdcoder@gmail.com | |
| name = Pavel Grinchenko | |
| [alias] | |
| ci = commit | |
| br = branch | |
| co = checkout | |
| df = diff | |
| lg = log -p | |
| st = status |