]> git.openstreetmap.org Git - chef.git/history - roles/idris.rb
projects / chef.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make configuration of hostname work properly
[chef.git] / roles / idris.rb
2020-04-02 Tom HughesUpdate IPv4 address for idris blob | commitdiff | raw
2020-03-22 Tom HughesFix shared memory limit on idris blob | commitdiff | raw | diff to current
2020-03-18 Tom HughesFix tile parents blob | commitdiff | raw | diff to current
2020-03-18 Tom HughesMerge remote-tracking branch 'github/pull/259' blob | commitdiff | raw | diff to current
2020-03-18 Tom HughesAdd roles for fuchur and idris blob | commitdiff | raw | diff to current
2017-01-26 Tom HughesMerge remote-tracking branch 'github/pull/102' blob | commitdiff | raw
2016-12-08 Tom HughesDrop idris role blob | commitdiff | raw
2014-12-23 Tom HughesIncrease warning threshol for IO zone on G5 machines blob | commitdiff | raw | diff to current
2014-07-05 Tom HughesUpdate IP addresses etc for move to Wolfson House blob | commitdiff | raw | diff to current
2014-06-23 Tom HughesRename the ucl-internal role to ucl-wates blob | commitdiff | raw | diff to current
2014-02-04 Grant Slateridris: remove external IP blob | commitdiff | raw | diff to current
2013-06-20 Tom HughesRemove tile role from idris blob | commitdiff | raw | diff to current
2013-06-18 Tom HughesAdd roles from the private repository blob | commitdiff | raw | diff to current
Chef configuration management public repo for configuring & maintaining the OpenStreetMap servers.