Comment Comment by mikemcquaid We're using Puppet on github.com but GitHub Enterprise didn't warrant the use of either so: nothing. parent mikemcquaid 12 years ago
