> Use > git reset --hard origin/PHP-5.4 > to reset your local checkout to the current version on the server.
It should be noted that when you `reset --hard`, you'll lose local changes (including branch commits, except in the reflog). You'll probably want to stash first, reset, then stash pop (or branch locally, merge, checkout 5.4, reset, then cherry-pick (or maybe merge)). Sorry for the noise if this is already widely known, but since PHP is relatively new to the world of git, I thought it was worth mentioning. S
