receive-pack: explain what to do when push updates the current branch