Merge branch 'r/20.x' into develop #75
gregorydlogandeploy-main-branches.yml
on: push
Detect branch and appropriate server
19s
Deploy admin-interface.opencast.org
59s
Create upstream admin PR to incorporate build
26s