Fellow kids: is it insane, permissible, or expected to use the same remote cache on developer machines and the build server? It makes me nervous that a dev machine might be able to poison cache or write maliciously, but that also seems improbable, and not a vector I need to worry about right now.