Manage Ubuntu 12.04 servers using Puppet and git