GIT

We are using 'github' as our online code management. It is owned by Sergey Boyarinov and managed from the site 'github.com' with username boiarino17. There are repositories: coda', clon, epics etc'.

To use it clon clon machines, proxy have to be set by following command:

git config --global http.proxy jprox.jlab.org:8081

To get repository (for example coda) use following command:

git clone https://github.com/boiarino17/coda

Command git pull can be used to get files from repository.

Use following to add all files locally, usually used once initially.

git add .
git commit -a -m "first commit"

Removing files/directories example:

git rm src/bosio/bosio.s/SCCS/*
git commit src/bosio/bosio.s/
git push

Use git commit command to check in locally, and git push to check into repository.

At any point you can view the history of your changes using

git log

If you also want to see complete diffs at each step, use

git log -p

Often the overview of the change is useful to get a feel of each step

git log --stat --summary