Vincent van Ravesteijn wrote:
> Who is git...@gmail.com ?
most probably the maintainer, as written i never suceeded to contact him
and have no access there.
pavel
> 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
Vincent van Ravesteijn wrote:
> Hi Pavel,
>
> It seems you have given up on the lyx git repo on repo.or.cz.
>
> However, when I looked there today, I saw that all commits are in this
> repo. It's just that for some reason "master" doesn't point to the
> correct/last commit. The tags and all commi
