`docker_manager` devrait passer en premier

Ça me semble être une bonne idée, je suis sûr que ce serait pr-welcome si quelqu’un voulait s’en occuper :slight_smile:

7 « J'aime »