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 commits are there though. Can you also tell me how this repo is updated automatically ? Vincent