Puppet repository has MOVED!

[Andrea Veri <av gnome org>]

Hey,

with puppet.gnome.org decommission (and replaced by
puppetmaster01.gnome.org) the path to the Puppet repository has
changed, please make sure to adjust it to be:

ssh://userid vpn puppetmaster01 gnome org:/git/puppet.git

On an additional note combobox has been recently decommissioned (that
was the very latest RHEL 5 host we still had in service!), the next
host that will follow is clutter as it's EOL and its warranty expiring
in a couple of weeks from now.

Have a good day!

P.S documentation has been updated to reflect all the above changes already!

-- 
Cheers,

Andrea

Red Hatter,
Fedora / EPEL packager,
GNOME Infrastructure Team Coordinator,
Former GNOME Foundation Board of Directors Secretary,
GNOME Foundation Membership & Elections Committee Chairman

Homepage: http://www.gnome.org/~av