]> git.openstreetmap.org Git - chef.git/commitdiff
projects / chef.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 200d328 94d26ef)
Merge remote-tracking branch 'github/pull/617'
authorTom Hughes <tom@compton.nu>
Thu, 14 Sep 2023 08:46:39 +0000 (09:46 +0100)
committerTom Hughes <tom@compton.nu>
Thu, 14 Sep 2023 08:46:39 +0000 (09:46 +0100)

Trivial merge
Chef configuration management public repo for configuring & maintaining the OpenStreetMap servers.