Git


The best way to collaborate with someone is to create an intermediate repository to both send and download data. We will refer to this repository as a “Git server”. Create a Git server is quite simple. To initialize any Git server, you must export an existing repository to a new […]

Create a Git Server


To set Git global username and password on your system do the following: Set username (e.g. Abby Normal) git config –global user.name “ABBY NORMAL” Set email (e.g. abby.normal@foobar.com) git config –global user.email “abby.normal@foobar.com”   To configure repository specific values, change directory to the root of the repository and do the following: […]

Set username/email on Git


Open a terminal and, under your git directory, create a new temporary branch (e.g. temp): git branch temp Switch on the new branch typing: git checkout temp Point the master to the new branch (force it with option -f): git branch -f master temp Switch back on the master and […]

Fix a detached head on Git