git: to https:, use proxy available