Re: [fricas-devel] github rebase

2021-01-23 Thread oldk1331
Hi Ralf, I have changed my github profile name and set email privacy to public, I guess that will do the trick. - Qian On Sat, Jan 23, 2021, 1:14 AM Ralf Hemmecke wrote: > Hi Qian, > > when I look at the recent commits, I see something like > > Author: Frédéric Chapoton 2021-01-21 10:59:13

[fricas-devel] github rebase

2021-01-22 Thread Ralf Hemmecke
Hi Qian, when I look at the recent commits, I see something like Author: Frédéric Chapoton 2021-01-21 10:59:13 Committer: oldk 2021-01-22 11:18:10 or Author: Frédéric Chapoton 2021-01-22 11:11:51 Committer: GitHub 2021-01-22 11:11:51 Is it possible to use your usual git name and email