Merge branch 'master' of git.fsmpi.rwth-aachen.de:videoaginfra/website

.gitlab-ci.yml

README.md

config.py.example

db_schema.sql

edit.py

encoding.py

jobmanagement.py

jobs.py

legacy_tests/urlcheck_legacy.py

legacy_tests/urlcheck_sinf.py

livestreams.py

runTests.py

server.py

sorter.py

static/font-awesome/css/all.css

static/font-awesome/css/all.min.css

static/font-awesome/css/brands.css

static/font-awesome/css/brands.min.css

static/font-awesome/css/font-awesome.css

static/font-awesome/css/font-awesome.min.css