github rebase

[Ralf Hemmecke]

Hi Qian,

when I look at the recent commits, I see something like

Author: Frédéric Chapoton <chap...@unistra.fr> 2021-01-21 10:59:13
Committer: oldk <oldk...@users.noreply.github.com> 2021-01-22 11:18:10

or

Author: Frédéric Chapoton <fchap...@gmail.com> 2021-01-22 11:11:51
Committer: GitHub <nor...@github.com> 2021-01-22 11:11:51

Is it possible to use your usual git name and email for the Committer?
Or doesn't let github enable us to select the committer?
I would know how to set the committer locally, but on github? Doesn't it
agree with your credentials?

Ralf

[oldk1331]

Hi Ralf,

I have changed my github profile name and set email privacy to public, I guess that will do the trick.

- Qian

--
You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/ca313964-8eff-c177-19f3-2ada8e73d350%40hemmecke.org.