Figure out how to use dev push effectively to set up .profile, .bashrc #2

Closed jpsember closed 5 months ago