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