Git mirror of official CVS repository (not updated automatically)