pull: do not abuse 'break' inside a shell 'case'