Just wrote a script that takes anything correctly tagged and pushed to master from gitlab, pushes it to the server, builds a jar and creates a docker image from it. On the one hand I'm happy that I don't have to do it from hand anymore, on the other hand I get the feeling I'm automating myself out of a job...