Git

Merge to git repo

Posted on

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 […]

Git

git-cola in Windows 7

Posted on

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 […]

Git

Remove branch in remote git repo

Posted on

If you have a remote git repo, and you want to delete a branch there, you can do:

Git

Move a local git repo to a remote repo

Posted on

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

Git

Posted on

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 […]