great, thanks :-) -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
