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
