51116230 · Remove README.md with old Travis CI badge

92eb2f54 · Fix branch name

3fcd51d8 · Set up automatic deployment to hhu-hosting

f6772f57 · Rename index.html to footer.html so it doesn't block directory listing

f971e1c3 · Remove some unnecessary copying of artifacts

447b5aa3 · Reduce shasum options to hopefully work better with old shasum

8fedd65c · Manually download Maven 3.6.3 to access Maven Central over HTTPS

e3b60759 · Ensure that working directory doesn't stay in the plastex directory

23d4a606 · Install missing packages on CI

e7d35ace · Switch from Travis CI to GitLab CI