Build an ISO on Git push
Have the master repository on immerda push to
gitolite
puppet-git.lizard:tails@, e.g. using Gitolite’s mirroring
support or a simple
post-receive hook.
Parent Task: #5324 (closed)
Original created by @tails on 5558 (Redmine)