git aliases and other stuff