git - How do I change the user name and email for ALL my Android repo projects? -
i used google's repo tool download cyanogenmod source code android device. set source tree correctly, evidenced fact able build own unofficial rom scratch.
having found number of minor bugs, want contribute project doing repo upload. unfortunately, had used vulgar-sounding user name , bogus email address when ran "repo init". don't want upload tagged vulgar, politically incorrect name.
there "appears" repo option change user name: "--config-name". surprisingly, after fresh "repo sync", change in user name , email affects 2 config files found in ".repo/manifests.git/" directory. new user name , email don't propagate config files found under ".repo/projects/", project meta-information stored.
this discrepancy in user names between manifest configuration , configuration files under ".repo/projects/" wreaks havoc on attempt "repo upload" because of obvious authentication problems regard ssh public keys, etc.
is there high-level way propagate change made "repo init --config-name" across repo projects?
for reason, "git config --global user.name" (as "user.email") doesn't work if changes visible in "~/.gitconfig". other solution can think of use gnu tools find, sed , grep force search-and-replace operation (and i'm not sure if there binary files found under ".repo/projects/").
Comments
Post a Comment