Re:2022/01/25
I noticed that logically, "appetite is also evil" also holds true.
I fixed the date position and the Stream became a mass of nonsense.
It's hard to know how to handle these "unimportant updates".
Even if there was a "do not put on the update list" flag, as if it were PukiWiki, it would be a pain to click on it every time.
Put them in "don't record updates mode" and people forget to get out.
Do you do it and then say, "Oh, these corrections are trivial, so forget about it"?
I don't care, it will sink in after a while.
It's okay because it's an individual project, but if it's a multi-person project, discretion is going to happen. As an aside, when I wrote "refrain" or something like that, I started thinking "what's the English word for this?"
---
This page is auto-translated from /nishio/Re:2022/01/25 using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.