On 2020/04/04 09:02:01, valentin_villenave.net wrote: > On 4/4/20, mailto:jonas.hahnf...@gmail.com <mailto:jonas.hahnf...@gmail.com> wrote: > > The reason is that the latest commit in master has a non-ASCII > > character in the first line of its commit message [1]. > > So IIUC it *was* f5f907599ce88d3d610483fa42fa78be12f53d2e in the end… > but just because of a char in the commit message!? Man, how fucked up > is that? > > Shall we make it a policy that git messages ought not to include > non-ASCII chars? (Or conversely, since we may not have caught the bug > otherwise, that git messages preferably *should* include special chars > once in a while in case it allows to verify that it doesn’t trigger > any weird behavior?)
I don't think there's anything we can cover with a particular policy. IMHO it's just a very weird coincidence of issues from switching to Python 3. https://codereview.appspot.com/563810043/