Hi, It seems something was up with the Xenomai-forge git repository. On the web interface, I see many old commits being recommitted today.
Can you give some background information as to why this happened? And more importantly, not being an experienced git user, how to recover from it? 'git status' shows: # On branch master # Your branch and 'origin/master' have diverged, # and have 177 and 360 different commit(s) each, respectively. and a 'git pull' shows tons of conflicts on files I did not touch. Thanks, Thomas _______________________________________________ Xenomai-help mailing list Xenomai-help@gna.org https://mail.gna.org/listinfo/xenomai-help
