push after redownloading .git