Home
People
Projects
Research
Publications
Surveys
Courses
Student Projects
Jobs
Downloads
This is an old revision of the document!
Please follow these simple guidelines to help everybody get the most out of revision control:
Makefile
or scripts for auto-generating files where their making is not obvious..gitignore
files to keep the workspace clean for git status
and friends. List all auto-generated files, including backup files, in .gitignore
.git log
, annotate
, diff
etc. For example, confine content changes and formatting changes to separate commits.