---- On Tue, 16 Apr 2019 02:14:31 -0600 Boudewijn Rempt <[email protected]> wrote ---- > > There's another, related thing. We've got a "full name" checking git hook > which tries to force commits to have "real names". > > This hook is, of course, broken: no software developer can ever make a check > for names that's not brokenm because there _are no rules for names_. This > check thinks that a full need needs to have two parts separated by a space: > a first name and a surname. This assumption is untrue for instance for many > Tamil people.
In fact this is not an academic concern. We have a fairly active contributor by the name of "Shubham" who, due to the commit hookscript filter, has been forced to manufacture a last name and go by a fake name! Maybe we should turn it off. Nate
