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

Reply via email to