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 https://gitlab.lrde.epita.fr/spot/spot.git. You can clone it with
git clone https://gitlab.lrde.epita.fr/spot/spot.git
and later fetch the latest changes with git pull.
It can also be browsed online.
1.2. Push access
If you have an account on https://gitlib.lrde.epita.fr/spot/spot (and a reason to need it) we can grant you push access. You'll be able to supply some ssh keys, and access the repository using
git clone email@example.com:spot/spot.git
1.3. Commit Policy
Each change installed into the repository used to be summarized into a file called ChangeLog at the root of the repository. Today we simply generate this ChangeLog file from the git log output. This means that the commit messages must follow the convention of a ChangeLog file.
Please follow the GNU ChangeLog style when writing commit messages (simply skip the date/email line, and do not add tabulations to the left). See other commits to see how our commit message look like.
Our git server will reject commits with messages that do not follow these convention (unless those commits are sent to a personal branch (like adl/feature-x).
Finally, do not commit anything without ensuring that make check is successful. The test suite must always success, or it will annoy other people.
Always push new feature in a new branch, and wait for the build farm to validate it before merging anything to next.