Github helpers

github.md

Rename your local branch.

If you are on the branch you want to rename:

$ git branch -m new-name

If you are on a different branch:

$ git branch -m old-name new-name

Delete the old-name remote branch and push the new-name local branch.

$ git push origin :old-name new-name

Reset the upstream branch for the new-name local branch, switch to the branch and then:

$ git push origin -u new-name

Rollback lates commit

$ git reset --soft HEAD~

Config go get to work with private repository.

$ git config --global http.extraheader "PRIVATE-TOKEN: YOUR_PRIVATE_TOKEN"
$ git config --global url."[email protected]:".insteadOf "https://gitlab.mycompany.com/"
$ go get gitlab.com/company/private_repo