On Thu, 2012-05-31 at 22:53 +0200, Raphaël Pinson wrote: > The situation is back to normal. I rebased my recent patches on top of > 7c058521 and forced the push.
I did
git checkout master
git reset --hard origin/master
git fetch -f origin
git pull
(or something to this effect, the trick was the 'git fetch -f')
David
_______________________________________________
augeas-devel mailing list
[email protected]
https://www.redhat.com/mailman/listinfo/augeas-devel
