git-fetch: avoid using "case ... in (arm)"