> two repos are there - one created longer time ago, which has to be manually > updated, the second one, which uses some internal facility of repo.or.cz > (i know this only from comment on http://repo.or.cz/w/lyx.git ).
The old one has a large number of heads defined, whereas the new one has only 1: master. This master head points to a few commits later as the last commit that is in the old repos. Do you have the password. If not, who does have it ? Who is git...@gmail.com ? Vincent
