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