Part of my confusion was around GitHub account names, and Git user names. The git (not github) user names can be set using the commands you posted.
The GitHub account name is picked when you sign up for GitHub. In my case, because my work has it's own separate github, they have a different signup method, and so I have a different GitHub(work) account name, from my GitHub(public) account name. I'm guessing that the Apache version of the a hosting spot for git repositories (at gitbox.apache.org) has it's own signup conventions, which are the account-name = your Apache ID, account pw = your Apache ID pw. (do you agree?) GitHub and GitHub(work) support multiple emails (click on your profile picture, pick settings, see Emails). These also support a User Name, different from the git id, and different from the account-login-name (profile picture -> settings -> profile). Let me know if got anything mixed up here. Once I get this straight, I'll make a new web page with a nice picture on our website for others to refer to. -Marshall On 8/30/2019 10:14 AM, Richard Eckart de Castilho wrote: > On 30. Aug 2019, at 16:07, Marshall Schor <[email protected]> wrote: >> any pointers to docs on setting up different "identities" ( id-names and >> emails >> ) on one GitHub account? > Setting the username and email is an operation on the local repo (or globally > for your local git): > > $ cd git/uimaj-core > $ git config user.name "Richard Eckart de Castilho" > $ git config user.email "rec@apache..." > > $ cd git/dkpro-core > $ git config user.name "Richard Eckart de Castilho" > $ git config user.email "richard...@gmail..." > > When I make commits in the repos, the respective email is associated with the > commit. > > Cf. https://help.github.com/en/articles/setting-your-username-in-git > Cf. https://stackoverflow.com/questions/37805621/change-email-address-in-git > > You can also associate multiple email addresses (identities) with your GitHub > account. > Click on your username icon top-right, select "Settings" and then "Emails". > When you make an action through the GitHub website (e.g. a merge) you can > choose in a > dropdown which identity you want to use for this action (i.e. which email > will be > associated with the particular commit). > > -- Richard
