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 |