Jeg hadde to git repo’er på samme maskin, men i ulike kataloger. Det som var ønskelig var å merge disse
I have Windows 7 on my computer, but needed to run a git gui tool for our project. Searching on
If you have a remote git repo, and you want to delete a branch there, you can do:
# if you want to delete the branch locally first, do:
git branch -D branchname
# then also remotely
git push origin --delete branchname
Challenge: one have a local git repo on a Linux server where a big bunch of commit’s have been done.