title: How do I change the user name and email for ALL my Android repo projects?
body: <p>I used Google's repo tool to download the CyanogenMod source code for my Android device. I set up the source tree correctly, as evidenced by the fact that I was able to build my own unofficial ROM from scratch.</p>
  
  <p>Having found a number of minor bugs, I now want to contribute to the project by doing a repo upload. Unfortunately, I had used a vulgar-sounding user name and bogus email address when I ran "repo init". I don't want my upload to be tagged with the vulgar, politically incorrect name.</p>
  
  <p>There "appears" to be a repo option to change the user name: "--config-name". But surprisingly, even after I do a fresh "repo sync", the change in user name and email only affects two config files found in the ".repo/manifests.git/" directory. My new user name and email don't propagate to the config files found under ".repo/projects/", where the project meta-information is stored.</p>
  
  <p>This discrepancy in user names between my manifest configuration and the configuration files under ".repo/projects/" wreaks havoc on my attempt to do  a "repo upload" because of the obvious authentication problems with regard to ssh public keys, etc.</p>
  
  <p>Is there a high-level way to propagate the change made by "repo init --config-name" across all my repo projects?</p>
  
  <p>For some reason, "git config --global user.name" (as well as "user.email") doesn't work even if the changes are visible in "~/.gitconfig". The only other solution I can think of is to use GNU tools like find, sed and grep to force a search-and-replace operation (and I'm not sure if there are binary files found under ".repo/projects/"). </p>