⚠️ Authenticating with a password with git over http works again. More information here. ⚠️
renommage d'un des repertoires Ada et propagation le long d'un "pull request"