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

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.

GitRepository (last edited 2015-04-06 20:56:02 by AlexandreDuretLutz)

All text is available under the terms of the GNU Free Documentation License, see SpotWikiLicense for details.