Should ALL locally created GIT branches be pushed to the central-repository on a daily basis? What is best-pracice workflow concerning this?
We created a GIT repository
I prefer not polluting the central repo with all branches of all users.
Don't mix: