Instructions for setting up webarena on aws:
# gitlab startup is a bit tricky, so we are doing this:
docker start gitlab
docker stop gitlab
docker remove gitlab
docker run --name gitlab -d -p 8023:8023 gitlab-populated-final-port8023 /opt/gitlab/embedded/bin/runsvdir-start
# for the rest, follow the original step 4: