git: alias dump and type to cat-file -p/-t
git: push to origin a branch with the current name
git: use color for interactive