GIT Push Branch

The push branch is the push of all local commits on that branch to the remote library. When pushing, specify the local branch so that git pushes the branch to the remote branch of the remote library:

$ GIT push origin master

If you want to push other branches, such as Dev, change to:

$ git push origin dev

However, it is not necessary to push the local branch to the remote, so which branches need to be pushed and which do not.

The Master branch is the main branch, so synchronize with the remote at all times;

The Dev Branch is a development branch, and all members of the team need to work on it, so they need to be synchronized with the remote.

Bug branches are only used to fix bugs locally, there is no need to push remote, unless the boss wants to see how many bugs you have fixed every week;

Whether or not the feature branch is pushed to the remote depends on whether you are working with your little partner to develop it.

In short, it is in git, branches can be completely hidden in the local play, whether to push, depending on your mood