-
-
Notifications
You must be signed in to change notification settings - Fork 1.2k
update Or Bahari copyright aliases #10432
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. Weβll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
Codecov ReportAll modified and coverable lines are covered by tests β
Additional details and impacted files@@ Coverage Diff @@
## main #10432 +/- ##
=======================================
Coverage 95.87% 95.87%
=======================================
Files 176 176
Lines 19137 19137
=======================================
Hits 18347 18347
Misses 790 790 π New features to boost your workflow:
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is going to create two different entry in the changelog, is this really what you want ?
@Pierre-Sassoulas I don't think we need any changelog here as it is only a minor internal change.. What do I need to do to achieve that? |
Sorry I meant in the contributor file. |
The current config is the best way to "hide" this email, as it's public information contained in the git history, it's going to be displayed as two different persons in the next release, if we apply this. |
@Pierre-Sassoulas okay, so does it mean that the contributor list is per email address, and not per name/GitHub user? Naturally thinking, I would expect it to be per GitHub user or contributor's name (even though either are modifiable, as well as using a different email address I guess). What is your take on this? Is there a potential bug in the config here? Is it worth the discussion? |
The git history is based on what was configured locally in git at time of commit (two strings, one for Author, one for email, user chosen, not checked, set in stone once merged in a public branch), github is a layer on top of it, that permits to associate multiple emails to your github account. This json conf is like github: it permits to associate multiple email (to one person instead of one github account). I would suggest closing, yes. |
Type of Changes
Description
Update Or Bahari (myself) email aliases.