A common rule for external services
GitHub tools have names that describe what they do; the external service is specified through arguments. The GitHub migration is running and verified, and the old tools have been retired with their history preserved. Aligning Google Workspace remains separate work.