Added a few git alias.
Merge branch 'master' into server
Added pav for push --all -v.
Merge branch 'master' into server