If I wouldn't have replied so fast, I would have said that you don't need to clone your personal repo. Just use: "git remote add rgheck <url>" to the clone of the lyx repo. Now you can push any branch to either lyx or to your personal repo.This is now in the features/HideChanges branch. Note that it's pretty basic right now. Just a proof of concept, or an attempt at such.Can you push it to your repo on the server, then I can have a look.Richard
Vincent
