GIT NOTES

Create a new git repository:

git init --bare repository-name.git


Clone your repository:

git clone username@server-id:repo/repository-name.git


To create a new origin from a clone, create a new bare
repository where you would like the origin to reside. Then,
in the clone, run:

git remote set-url origin username:server-id:repo/new-origin.git
git push


To add files to a repository:

git add .
git commit -am "Helpful concise message"
git push


If you need to update your clone with changes made on other
machines:

git pull


To see a summary of changes to a repository:

git log


To see a summary of changes to a specific file:

git log relative-path-to/file


To search a repository:

git grep -n search-term



.