eclipse/vert.x — pull request #784 by msoute (2014-01-29 08:27:14+00:00)
Title: Read maven repo credentials from repo.txt 

Allows per maven repository credentials configuration in repos.txt

a maven repo uri can now handle basic auth maven:https://user:password@repo.url

Both user and password have to be assigned for the authorization header to be set. All other options (no password) will not add the authorization header.

https://bugs.eclipse.org/bugs/show_bug.cgi?id=426857