1. Spot's Git Repository

From 2003 to 2008, we used CVS to track Spot's sources. In 2008, we switched to Git for version control. Git rocks.

1.1. Read access

Spot's master repository is git://git.lrde.epita.fr/spot. You can clone it with

git clone git://git.lrde.epita.fr/spot

and later fetch the latest changes with git pull.

1.2. Push access

LRDE members can push changes to git@git.lrde.epita.fr:spot. Other people could publish their repository online and send pull requests, or simply send patches.

1.3. Commit Policy

Each change installed into the repository must be summarized into a file called ChangeLog at the root of each module (ChangeLog can also exist in subdirectories when that subdirectory can itself be considered as a module). These files are really important when digging the history to find out where and why a bug was introduced, and more generally to help other people understand what changed. As so it is an integral part of the package, and is distributed along with the sources.

This ChangeLog must be written manually, but emacs can help you doing this. (Type C-x 4 a in a source file and see what happens.) Do not try to fill this file automatically from some log, we must remain independent of the code management system. Do the converse, use your just written ChangeLog entry as commit log.

Please follow the GNU ChangeLog style when writing entries.

Finally, do not commit anything without ensuring that make check is successful. The test suite must always success, or it will annoy other people.