handle sync ssh keys for dgit
authorPeter Palfrader <peter@palfrader.org>
Sun, 15 Sep 2019 20:21:28 +0000 (22:21 +0200)
committerPeter Palfrader <peter@palfrader.org>
Sun, 15 Sep 2019 20:21:46 +0000 (22:21 +0200)
commit58c7800d8ae435a2dbcabaabacddb0882c87307f
treeb49a570214fc6bc9a8d4e6a8d50c97e04f7829b3
parent4dcb0bb6ab00da402d5939588bf5793a917f8b02
handle sync ssh keys for dgit

The dgit master host (gideon) is available only via ssh to DDs.
it syncs its data to a publicly accessible host (cgi-grnet-01) over
ssh.  Until now the authkeys file was maintained by hand, but
Ian Jackson asked if we could do that in puppet so updates in IP
addresses etc. get automatically handled.
hieradata/nodes/gideon.debian.org.yaml [new file with mode: 0644]
modules/roles/manifests/dgit.pp [new file with mode: 0644]
modules/roles/manifests/dgit_browse.pp
modules/roles/manifests/dgit_git.pp
modules/roles/manifests/dgit_sync_target.pp [new file with mode: 0644]