[DGD] Git repositories

[Felix A. Croes]

To simplify setup, I have removed the master branch in all the personal
repositories.  Only the main repository, dgd-osr, has a master branch now.

To get started with your personal repository, do something like the
following:

    git clone ssh://dworkin-sf@dgd-osr.git.sourceforge.net/gitroot/dgd-osr/dworkin dgd
    cd dgd
    git remote add -t master -m master -f dgd-osr git://dgd-osr.git.sourceforge.net/gitroot/dgd-osr/dgd-osr
    git branch --track master remotes/dgd-osr/master

This will set up your personal repository as read/write, with the
master branch mirrored read-only from the main repository.  "git fetch"
or "git fetch origin" will update your own main branch, "git fetch dgd-osr"
will update the master branch from the main repository.

You can add more branches from other repositories, for example:

    git remote add -t baseline -m baseline -f dworkin git://dgd-osr.git.sourceforge.net/gitroot/dgd-osr/dworkin
    git branch --track baseline remotes/dworkin/baseline


Non-contributors can check out the main repository and then add branches
from other repositories at will:

    git clone git://dgd-osr.git.sourceforge.net/gitroot/dgd-osr/dgd-osr dgd
    cd dgd
    git remote add -t baseline -m baseline -f dworkin git://dgd-osr.git.sourceforge.net/gitroot/dgd-osr/dworkin
    git branch --track baseline remotes/dworkin/baseline
    git remote add -t jit -m jit -f silenus git://dgd-osr.git.sourceforge.net/gitroot/dgd-osr/silenus
    git branch --track jit remotes/dworkin/jit

Regards,
Felix Croes