We're using Puppet on github.com but GitHub Enterprise didn't warrant the use of either so: nothing.