Converting git repo to bare

Pre-

Make sure you have ALL your branches merged with the master branch!

Copy your local copy to remote server

 scp -r my_local_git_repo remote_server:

Delete all branches

$ git branch
* master
  working
$ git branch -d working
Deleted branch working (was eb2cc05).

Convert from "normal" to bare

git config --bool core.bare true

Clone locally

git clone ssh://aggli/home/steve/code/gpg

git ressources

git Ready

gitHub

gitOrious

quick reference (aka. dirty notes)

$ git clone https://github.com/CIRCL/traceroute-circl.git
$ git remote -v show
origin  https://github.com/CIRCL/traceroute-circl.git (fetch)
origin  https://github.com/CIRCL/traceroute-circl.git (push)
$ git remote show
origin
$ git branch
* master
$ git branch my-devel-branch
$ git branch
* master
my-devel-branch
$ git checkout my-devel-branch
Switched to branch 'my-devel-branch'
$ git branch
master
* my-devel-branch
$ git status
# On branch my-devel-branch
nothing to commit (working directory clean)

# The following command combines a merge with the switch to the new branch
$ git checkout -m

$ git branch -d my-devel-branch
Deleted branch my-devel-branch (was 1551384).

$ git commit
$ git add

$ git commit $FILES
$ git add $FILES

$ git commit -a
$ git add -A


$ git diff master my-devel-branch
$ git log

$ git fetch (only fetch new references, but no
$ git pull (fetch & merge)

$ git merge origin master
$ git push origin
$ git push origin my-devel-branch

To be investigated:

git diff HEAD
git diff HEAD my-devel-branch
git diff HEAD^
git diff my-devel-branch:
git diff my-devel-branch:HEAD
git diff my-devel-branch:/HEAD
git diff origin/master
git merge my-devel-branch:
git merge
git merge HEAD my-devel-branch:
git merge HEAD my-devel-branch
git merge my-devel-branch:text
git fetch origin

Some questions to be answered:

* Is HEAD == master * Is : == origin * what is ^

Config

˜/.gitconfig

[core]
    editor = vim
    ignorecase = true
[user]
    name = Steve Clement
    email = steve@localhost.lu
    signingkey = 9BE4AEE9

[color]
    diff = auto
    status = auto
    branch = auto

Github Hints

Global setup:

 Set up git
  git config --global user.name "your_username"
  git config --global user.email your@email.lu
        

Next steps:

  mkdir myNewRepo
  cd myNewRepo
  git init
  touch README
  git add README
  git commit -m 'first commit'
  git remote add origin git@github.com:SteveClement/myNewRepo.git
  git push -u origin master
      

Existing Git Repo?

  cd existing_git_repo
  git remote add origin git@github.com:SteveClement/myNewRepo.git
  git push -u origin master

changing remote

Recently I had the issue that I pulled a repo by specifying the IP address as opposed to a hostname. Let's change that to a hostname.

Steves-MacBook-Air:sysadmin steve$ git remote -v show
origin  192.168.1.53:sysadmin.git (fetch)
origin  192.168.1.53:sysadmin.git (push)
Steves-MacBook-Air:sysadmin steve$ git remote rm origin
Steves-MacBook-Air:sysadmin steve$ git remote -v show
Steves-MacBook-Air:sysadmin steve$ git remote add origin bsdell:sysadmin.git
Steves-MacBook-Air:sysadmin steve$ git remote -v show
origin  bsdell:sysadmin.git (fetch)
origin  bsdell:sysadmin.git (push)