Failed to clone the git repo of lyx.

[Hongyi Zhao]

Now, I created the latest git repo of lyx on GitHub with my account as follows:

https://github.com/hongyi-zhao/lyx

The steps are as follows:

git clone https://github.com/unimiso/lyx_mirror.git lyx.git
cd lyx.git/
git remote set-url origin git://git.lyx.org/lyx.git
git pull
# Create an empty GitHub repo from scratch, and then do the following:
git remote set-url origin https://github.com/hongyi-zhao/lyx.git
git push

Regards,
Zhao