A bunch of refactoring of bash login scripts.
Remove git ignore line that should probably be done another way.
Allow pushing where upstream branch has a different name.