Jeg hadde to git repo’er på samme maskin, men i ulike kataloger. Det som var ønskelig var å merge disse to repo’ene sammen til ett, slik at all historie ble tatt vare på. Dette kan gjøres da på følgende måte: Git repo 1: /sti/til/repo1 Gir repo 2: /sti/til/repo2 cd /sti/til/repo1 git remote add -f repo2 […]
I have Windows 7 on my computer, but needed to run a git gui tool for our project. Searching on Google I found several, but they all were software for Linux. We have plenty of Linux Redhat servers, but no one running X window. I installed then a Xming X server (http://sourceforge.net/projects/xming/) on my Windows […]
If you have a remote git repo, and you want to delete a branch there, you can do:
|
1 2 3 4 5 |
# 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. Now one want to put all the files and commits on a remote server, for more easier sharing with other. Here is how it might be done: First create the remote repo. We use gitolite-admin, […]
Git is a tool that can help you track changes in your files, specially when you share your files with your friends on a Linux server. Here is a very simple description: log into your server ssh foobarserver go to your folder where you want to track files cd to/your/folder/for-git-tracking/test/ create a local git repository […]