GIT: proper handling of HTTPS v/s GIT repos

Signed-off-by: Eduardo Silva <edsiper@gmail.com>