> Of course, do whatever you want on your local machine before pushing to remote but once you have pushed, stop worrying about it. This is what I'm talking abo

> Of course, do whatever you want on your local machine before pushing to remote but once you have pushed, stop worrying about it. This is what I'm talking about. After you push and share with others, I think you are absolutely right. Before it leaves your computer via git push to a shared location, I advocate that you should tidy things up. Thanks for clarifying...