Geek asks and answers

Windows github tool - use branch not to publish or delete?

I am new to Github, and I used the Windows github tool , which turned out to be great help and handle a lot of things, such as SSH keys, tips complete, discard commit, return commit and have a combined pull + merge and push (sync) mechanism and a lot!

I study it and try to execute its internal git command-level execution. The other day I merged a patch branch and then I wanted to delete it -

git branch -d hotfix

I need to know how to remove it from the server. What are the git equivalents of the following two actions available in the control branch in a Windows tool -

  • Unpublish branch - delete only from server
  • Delete branch - delete locally and on the server

Another thing that I doubt is that the git command above could not delete the branch locally. I executed it, it deleted the branch (did not appear in the $ git branch ), but if I restart the tool, the branch was still there! Was it a glitch?

If someone used them, can you suggest a better approach (I don’t want to depend completely on the tool, I also want to learn git).

+5
source share
1 answer

In addition to

git branch -d hotfix

you can also remove it from github:

git push origin --delete hotfix

You can see more in How to remove a Git branch both locally and in GitHub? "

If you already deleted branches locally, simply:

git push --prune origin

enough to clear the same branches on your GitHub repository.

- GitHub, .
:

git remote prune origin

. " Git.

+5

More articles:


All Articles