Follow-up Comment #2, sr #109440 (project administration): Thank you very much! I push-forced my changes and that seemed to work, and then I made a regular change and pushed that as well, and all seems to be good. As far as I am concerned, we can close this support request. And thanks for your offer to git help. Luckily (I guess) a lot of people seem to have similar problems with git, so there's always plenty of resources on the web for the problems I'm having. :) Thanks Alex
_______________________________________________________ Reply to this item at: <http://savannah.gnu.org/support/?109440> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/