Gitlab has been updated. More info here.
renommage d'un des repertoires Ada et propagation le long d'un "pull request"