Updated dotfiles
Backed out changeset 190117d94617
fixed push.py