This caused some confusion, so to make it clear that it's plumbing and has nothing to do with 'git fetch', rename it.