pol.is→Polis

Glen: pol.isではなく常にPolisであるべき

from Discord

西尾 - 2024/3/19

"Polis"のときもあれば "pol.is"のときもある。

"Polis"にしてプルリクエストすべきでしょうか？それとももう凍結？

Pol.is： Pol.is：Mandarin3ファイル、英語1ファイル（1回だけ）、Polis：Mandarin1ファイル、英語2ファイル。だから、私は英語の唯一の "pol.is "を修正することを決定した。

グレン・ウェイル

常にPolisであるべき

nishio — 2024/3/19 Discord

Sometimes "Polis" sometimes "pol.is"

Should I make them "Polis" and pull request? Or the content is freeze already?

Pol.is: 3 files in Mandarin, 1 files in English (only one occurrence), Polis: 1 file in Mandarin, 2 files in English. So I determine to fix the only one "pol.is" in English.

GlenWeyl

Should always be Polis