Some useful git aliases I use