title: adding a proxy to git config through command line without proxy user / proxy pwd
body: <p>I have this proxy defined in my <code>/git/.gitconfig</code></p>
  
  <pre><code>[http "https://dpl.tdk.com"]
      proxy = http://10.0.11.25:8080
  </code></pre>
  
  <p>but somehow does not appear when I do <code>git config --list</code></p>
  
  <p>I want to add it manually, but I don't know how to do it, since there is a <code>&lt;username&gt;:&lt;password&gt;</code> that I don't have</p>
  
  <pre><code>git config --global http.proxy http://&lt;username&gt;:&lt;password&gt;@10.0.14.15:8080
  </code></pre>