Change the login/passwd account that pushes to Docker hub #156
Description
For the moment, the account is still Maxime's account. It should be a CGAL account.
{{ message }}
For the moment, the account is still Maxime's account. It should be a CGAL account.