Join GitHub today
Prepare the 1.3.0.dev6 release. #4169
Hmmm...that release-script gave me unexpected output:
Will need to dig a bit here...
@mateor - that's the correct response, no need to undo.
History indicates the original add may have been manual or at least manually edited to add the last name:
Also, the commit of mine with no PR had no PR - I directly submitted w/o review to get release out.
So Yujie either changed machines or changed his gitconfig for this latest commit.
So that's just the way it is unless you have mailing list or slack info to indicate a real name.