Never mind names, in a perfect world I want the orcid of all the
contributors who have one. In that same perfect world all sage
contributors have one.
This is scientific output and authorship and uniquely identifying
authors is what orcid is for.
https://orcid.org/
On 8/02/23 22:16, Dima Pasechnik wrote:
On Wed, 8 Feb 2023, 08:28 Tobias Diez, <tobiasdiez...@gmail.com
<mailto:tobiasdiez...@gmail.com>> wrote:
Wouldn't it be easier to automate (and more respectful to the
privacy concerns of contributors) to simply link to the github
handle/profile?
GitHub profiles don't always have real names.
On Wednesday, 8 February 2023 at 04:51:30 UTC+8 Matthias Koeppe wrote:
We have collected these mappings in
https://github.com/sagemath/website/blob/master/conf/contributors.xml
<https://github.com/sagemath/website/blob/master/conf/contributors.xml>, which
would be easy to read from in a GH Actions workflow.
On Tuesday, February 7, 2023 at 8:58:51 AM UTC-8 Dima Pasechnik
wrote:
On Tue, 7 Feb 2023, 11:33 'Martin R' via sage-devel,
<sage-...@googlegroups.com> wrote:
Has there been already a decision how we incorporate the
real name "Author" and "Reviewer" fields?
I think that this is rather important, because not
making a decision will probably also be a decision -
there are already several new pull requests.
Personally, I am very much for continuing the tradition
of real names, but it is not clear to me whether there
is a mapping between user name and real name on github
anyway, which would make this information redundant. Is
the "Name" in a github account optional?
yes, names are optional on GitHub, so we will need some kind
of mapping to keep.
We can also get names of authors and reviewers in the PR
description enforced by a bot.
We can also require this info to be put in a special
textfile to be collected at merging time and put into a
changelog file.
(amending changelog directly is prone to conflicts).
Martin
--
You received this message because you are subscribed to
the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails
from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/c2c8654a-0511-43a7-a7e5-66c6e687178an%40googlegroups.com
<https://groups.google.com/d/msgid/sage-devel/c2c8654a-0511-43a7-a7e5-66c6e687178an%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google
Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to sage-devel+unsubscr...@googlegroups.com
<mailto:sage-devel+unsubscr...@googlegroups.com>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/e90c1072-9ff3-4392-9c4a-a133c22de288n%40googlegroups.com
<https://groups.google.com/d/msgid/sage-devel/e90c1072-9ff3-4392-9c4a-a133c22de288n%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google
Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to sage-devel+unsubscr...@googlegroups.com
<mailto:sage-devel+unsubscr...@googlegroups.com>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/CAAWYfq0CDgMMUwFTZv%3D8xp3u65R-S62Sq4O_oM9AcNEow71w8Q%40mail.gmail.com <https://groups.google.com/d/msgid/sage-devel/CAAWYfq0CDgMMUwFTZv%3D8xp3u65R-S62Sq4O_oM9AcNEow71w8Q%40mail.gmail.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/7ad82572-bd6c-4557-8fa1-2a54cd2eeb9e%40gmail.com.
