How the European Space Agency uses GitLab to focus on space missions