Thomas Gries wrote:

Dear developers,

I do not know what policy is used for those who are allowed to actually commit changes to the CVS, but the current CVS is not working - neither a fresh install (empty database) nor an php /maintenance/update.php helps -- A DATABASE ERROR OCCURED create table user_rights .....

Please allow me to propose, that developers who change the database structure always submit also a correct module for /maintenance/updaters.inc and /maintenance/tables.sql, so that other developers can resume their work on their projects without interruption.

Thank you.

I think I fixed that an hour or two after it was committed. It was a minor mistake made by another developer, obvious and easily fixed. The policy as far as I'm concerned is that brief periods of incorrect behaviour are perfectly acceptable in HEAD, and that anyone who wants to use HEAD should be prepared for such errors. We don't have time to test installation after every commit.

-- Tim Starling